diff --git a/deps/cryptol b/deps/cryptol
index 23c396b1a9..8ed946ea75 160000
--- a/deps/cryptol
+++ b/deps/cryptol
@@ -1 +1 @@
-Subproject commit 23c396b1a9951108aeedbd51fa2bc9d5a9369365
+Subproject commit 8ed946ea75646f732e46c6917dd4e95a4d4e964e
diff --git a/deps/cryptol-specs b/deps/cryptol-specs
index 14d3a0b499..f0f8979e7a 160000
--- a/deps/cryptol-specs
+++ b/deps/cryptol-specs
@@ -1 +1 @@
-Subproject commit 14d3a0b499f0abceb19f40cc7cc9784a59a99b0c
+Subproject commit f0f8979e7a67e46c39cbaf484d6f1432e10e0002
diff --git a/deps/elf-edit b/deps/elf-edit
index 6a089cc6e8..4ec1f64c68 160000
--- a/deps/elf-edit
+++ b/deps/elf-edit
@@ -1 +1 @@
-Subproject commit 6a089cc6e84a35604168c10193c521fa1359481d
+Subproject commit 4ec1f64c6882799ed0f9cf4ae428dbbe8fb27804
diff --git a/deps/flexdis86 b/deps/flexdis86
index 178bfc199d..4e6f4950be 160000
--- a/deps/flexdis86
+++ b/deps/flexdis86
@@ -1 +1 @@
-Subproject commit 178bfc199d6fb638cbf90de84a83ea0bf246170f
+Subproject commit 4e6f4950be909b41852b50e5648d243d948fa0c9
diff --git a/deps/parameterized-utils b/deps/parameterized-utils
index b2e9cc34a5..6696a684c2 160000
--- a/deps/parameterized-utils
+++ b/deps/parameterized-utils
@@ -1 +1 @@
-Subproject commit b2e9cc34a58e5931cf14beca2c5bc28f343cf966
+Subproject commit 6696a684c24c24b8492832e5983aca5a279fdced
diff --git a/deps/saw-core b/deps/saw-core
index e4c59543fc..12a8f95cc6 160000
--- a/deps/saw-core
+++ b/deps/saw-core
@@ -1 +1 @@
-Subproject commit e4c59543fc7520d6cfa3d44b0602a3274685b35d
+Subproject commit 12a8f95cc6eeac9d472fe6cc74f87e288ca97887
diff --git a/deps/what4 b/deps/what4
index 367cdd0240..2b4273c818 160000
--- a/deps/what4
+++ b/deps/what4
@@ -1 +1 @@
-Subproject commit 367cdd02400fbc491698d2884b3e841c06e193f1
+Subproject commit 2b4273c818947484bc9b3c5f31418f10cc267a27