diff --git a/deps/aig b/deps/aig
index c9a7dd9691..00f138637d 160000
--- a/deps/aig
+++ b/deps/aig
@@ -1 +1 @@
-Subproject commit c9a7dd9691774b88493fcc7d7e64b5cf957ec9f0
+Subproject commit 00f138637d8936566534103878ca895613b7f714
diff --git a/deps/crucible b/deps/crucible
index d18505d1ad..e826210639 160000
--- a/deps/crucible
+++ b/deps/crucible
@@ -1 +1 @@
-Subproject commit d18505d1ad1fe03e142371359852b5f52ea0b1f0
+Subproject commit e826210639edaf608687041136443f056c25e596
diff --git a/deps/cryptol b/deps/cryptol
index fe0bd96ca7..31bfcc63f9 160000
--- a/deps/cryptol
+++ b/deps/cryptol
@@ -1 +1 @@
-Subproject commit fe0bd96ca72c493608ffed5bf7547f2ab2aad2bc
+Subproject commit 31bfcc63f99b094c7c8627568e25f7d5fd8bd509
diff --git a/deps/elf-edit b/deps/elf-edit
index fb4699a2bb..e7d7a38f9b 160000
--- a/deps/elf-edit
+++ b/deps/elf-edit
@@ -1 +1 @@
-Subproject commit fb4699a2bba68c4d46ea3dee436f640c328fb682
+Subproject commit e7d7a38f9bc9dfb535b96c79c06150cac6281ce4
diff --git a/deps/jvm-parser b/deps/jvm-parser
index c6e4eebe4d..b1a5a21684 160000
--- a/deps/jvm-parser
+++ b/deps/jvm-parser
@@ -1 +1 @@
-Subproject commit c6e4eebe4db12245fa944bacec4eed44d586d36a
+Subproject commit b1a5a216849a573ffc214c96b9aefb61e987365b
diff --git a/deps/macaw b/deps/macaw
index 45f8af1e5a..bbc0b6a40a 160000
--- a/deps/macaw
+++ b/deps/macaw
@@ -1 +1 @@
-Subproject commit 45f8af1e5a0023f00c8c1985834bdf3b1e8bcfbc
+Subproject commit bbc0b6a40a2b99875c45fe137c97cc6c9e142f7d
diff --git a/deps/parameterized-utils b/deps/parameterized-utils
index fea8c1ab6c..1baefb9892 160000
--- a/deps/parameterized-utils
+++ b/deps/parameterized-utils
@@ -1 +1 @@
-Subproject commit fea8c1ab6c354485d065eb4764714b06b015ce93
+Subproject commit 1baefb98929bbc658e0f56f21dcf0c83f7beacd9
diff --git a/deps/what4 b/deps/what4
index ea717ac94a..1786acf8d7 160000
--- a/deps/what4
+++ b/deps/what4
@@ -1 +1 @@
-Subproject commit ea717ac94a186b5ee18f138b71d8b4b4b2f00955
+Subproject commit 1786acf8d720d51a415b30c08246f05a97b2e45d