diff --git a/deps/argo b/deps/argo
index afee6bb49c..904fb34872 160000
--- a/deps/argo
+++ b/deps/argo
@@ -1 +1 @@
-Subproject commit afee6bb49c7831a38316221e7b9721fbc65e88d7
+Subproject commit 904fb34872fcef462030fe38978842aa5a9db903
diff --git a/deps/cryptol b/deps/cryptol
index 7748a619e9..fe0bd96ca7 160000
--- a/deps/cryptol
+++ b/deps/cryptol
@@ -1 +1 @@
-Subproject commit 7748a619e9e2167097ef680a20578c17803ccc0a
+Subproject commit fe0bd96ca72c493608ffed5bf7547f2ab2aad2bc
diff --git a/deps/llvm-pretty b/deps/llvm-pretty
index ca81abf2ec..34c95e77fb 160000
--- a/deps/llvm-pretty
+++ b/deps/llvm-pretty
@@ -1 +1 @@
-Subproject commit ca81abf2ecab957aff9e068777203a3af2a19088
+Subproject commit 34c95e77fb9fdc584c23208f81f6072cb0e05c3f
diff --git a/deps/llvm-pretty-bc-parser b/deps/llvm-pretty-bc-parser
index af0c6951b3..1bad3e43c7 160000
--- a/deps/llvm-pretty-bc-parser
+++ b/deps/llvm-pretty-bc-parser
@@ -1 +1 @@
-Subproject commit af0c6951b3eebffa3404ff116685a92ad8b0697e
+Subproject commit 1bad3e43c7444e363ef4c3d9f954bc04b01b1795
diff --git a/deps/macaw b/deps/macaw
index a43151963d..45f8af1e5a 160000
--- a/deps/macaw
+++ b/deps/macaw
@@ -1 +1 @@
-Subproject commit a43151963da70e4d4c3d69f9605e82e44ff30731
+Subproject commit 45f8af1e5a0023f00c8c1985834bdf3b1e8bcfbc
diff --git a/deps/parameterized-utils b/deps/parameterized-utils
index 8bb69110b5..fea8c1ab6c 160000
--- a/deps/parameterized-utils
+++ b/deps/parameterized-utils
@@ -1 +1 @@
-Subproject commit 8bb69110b5c9658c94ef8dcf9f3028d6e7ad32e6
+Subproject commit fea8c1ab6c354485d065eb4764714b06b015ce93
diff --git a/deps/what4 b/deps/what4
index ac64bcd580..ea717ac94a 160000
--- a/deps/what4
+++ b/deps/what4
@@ -1 +1 @@
-Subproject commit ac64bcd580f552bd22ec5a135fdbcc3d523723a1
+Subproject commit ea717ac94a186b5ee18f138b71d8b4b4b2f00955