diff --git a/deps/crucible b/deps/crucible
index fc6c341484..796d1f595e 160000
--- a/deps/crucible
+++ b/deps/crucible
@@ -1 +1 @@
-Subproject commit fc6c341484399624c26b6c871f56a9bb9651c466
+Subproject commit 796d1f595e7cbcd421e68050fa5cc864327b7aab
diff --git a/deps/cryptol b/deps/cryptol
index 9346c3cff9..8b97cf4a8a 160000
--- a/deps/cryptol
+++ b/deps/cryptol
@@ -1 +1 @@
-Subproject commit 9346c3cff93095e11b2c6ef96942ccac38f2e8f0
+Subproject commit 8b97cf4a8a16b511c52bc0664e4ee2feff3d874a
diff --git a/deps/cryptol-specs b/deps/cryptol-specs
index d15c5d0352..031b6c4558 160000
--- a/deps/cryptol-specs
+++ b/deps/cryptol-specs
@@ -1 +1 @@
-Subproject commit d15c5d035266b6b68db44ff67a332885ff25be3d
+Subproject commit 031b6c45584150a33aa7c0b817703372b0189492
diff --git a/deps/flexdis86 b/deps/flexdis86
index 6d6e8c39e7..9b899ed652 160000
--- a/deps/flexdis86
+++ b/deps/flexdis86
@@ -1 +1 @@
-Subproject commit 6d6e8c39e754dc4c9910b1c0dc494e2eef8e309f
+Subproject commit 9b899ed652c80dd22aa7dd9f6920d0d13a077bf6
diff --git a/deps/llvm-pretty b/deps/llvm-pretty
index 7ab7ac98ea..9eece279a0 160000
--- a/deps/llvm-pretty
+++ b/deps/llvm-pretty
@@ -1 +1 @@
-Subproject commit 7ab7ac98eab93b6a84472fb040621adf0b150297
+Subproject commit 9eece279a045ef6d8767b418782d3a70e96ce882
diff --git a/deps/parameterized-utils b/deps/parameterized-utils
index 4b6562fdf3..b0a84444c5 160000
--- a/deps/parameterized-utils
+++ b/deps/parameterized-utils
@@ -1 +1 @@
-Subproject commit 4b6562fdf334849d63435442bbcd2a6d9bce34a7
+Subproject commit b0a84444c5ce096255a54e07179f242ad3d5e9dd