diff --git a/deps/cryptol b/deps/cryptol
index 538b6c4ff5..8f914a7b88 160000
--- a/deps/cryptol
+++ b/deps/cryptol
@@ -1 +1 @@
-Subproject commit 538b6c4ff5c8ae83ca27f320357d534c9ae69249
+Subproject commit 8f914a7b8815718d4e510966199045e0bec4d099
diff --git a/deps/cryptol-specs b/deps/cryptol-specs
index d6690d8db9..728b984fed 160000
--- a/deps/cryptol-specs
+++ b/deps/cryptol-specs
@@ -1 +1 @@
-Subproject commit d6690d8db90aa5e00dad1e952c1e42b33e9791b2
+Subproject commit 728b984fedef37ad2ffcc65f4c16430c31f484f1
diff --git a/deps/flexdis86 b/deps/flexdis86
index e8b6c38a65..3833a0f87a 160000
--- a/deps/flexdis86
+++ b/deps/flexdis86
@@ -1 +1 @@
-Subproject commit e8b6c38a6590e65efa0255124993a61f9f68c3ec
+Subproject commit 3833a0f87afaaa7f7becab94006a8817818b1897
diff --git a/deps/llvm-pretty-bc-parser b/deps/llvm-pretty-bc-parser
index c38b86b8b4..54737bd367 160000
--- a/deps/llvm-pretty-bc-parser
+++ b/deps/llvm-pretty-bc-parser
@@ -1 +1 @@
-Subproject commit c38b86b8b485c85181ab1bfc682fae194c8d4027
+Subproject commit 54737bd3675d54a795203bbd54a027e36119d233
diff --git a/deps/parameterized-utils b/deps/parameterized-utils
index 51ff7241a4..f7ab148ace 160000
--- a/deps/parameterized-utils
+++ b/deps/parameterized-utils
@@ -1 +1 @@
-Subproject commit 51ff7241a4e96383b54513734bb2c3c6930435d5
+Subproject commit f7ab148ace220fb28ce7760552351f5f55f9db04