diff --git a/deps/argo b/deps/argo
index a1766950a3..f05207fecf 160000
--- a/deps/argo
+++ b/deps/argo
@@ -1 +1 @@
-Subproject commit a1766950a3ddbb23e4a8d4c6eedecaa385959347
+Subproject commit f05207fecfd455dc3fe18fb52de661bae9b207bc
diff --git a/deps/crucible b/deps/crucible
index e1531a06e3..72c8a8d3ca 160000
--- a/deps/crucible
+++ b/deps/crucible
@@ -1 +1 @@
-Subproject commit e1531a06e394b65255e33ad39e8178931add52ab
+Subproject commit 72c8a8d3caccb47848e0d58ab458e99887c0b83d
diff --git a/deps/jvm-parser b/deps/jvm-parser
index af447d7210..c6e4eebe4d 160000
--- a/deps/jvm-parser
+++ b/deps/jvm-parser
@@ -1 +1 @@
-Subproject commit af447d7210f10af62c8b2c63c6a74233a725d317
+Subproject commit c6e4eebe4db12245fa944bacec4eed44d586d36a
diff --git a/deps/macaw b/deps/macaw
index 196a81ad29..7b27f83640 160000
--- a/deps/macaw
+++ b/deps/macaw
@@ -1 +1 @@
-Subproject commit 196a81ad29675dd4aba05a96b4fc880e1a564391
+Subproject commit 7b27f836403e9d032cceed40a7a03381ae60aa0f
diff --git a/deps/parameterized-utils b/deps/parameterized-utils
index e7b080b82a..51ff7241a4 160000
--- a/deps/parameterized-utils
+++ b/deps/parameterized-utils
@@ -1 +1 @@
-Subproject commit e7b080b82a1d6e73cb6d3e5376e88dbca625faba
+Subproject commit 51ff7241a4e96383b54513734bb2c3c6930435d5
diff --git a/deps/saw-core b/deps/saw-core
index f6de4bb0b1..430aa313a9 160000
--- a/deps/saw-core
+++ b/deps/saw-core
@@ -1 +1 @@
-Subproject commit f6de4bb0b190b038160941228cbddad61e76090b
+Subproject commit 430aa313a9529df3e6608591c932083cc2f3b247
diff --git a/deps/what4 b/deps/what4
index 6542f0bc52..190c3a4dc9 160000
--- a/deps/what4
+++ b/deps/what4
@@ -1 +1 @@
-Subproject commit 6542f0bc5288ddee4b49f6a8dd8c1a59c28d8f1b
+Subproject commit 190c3a4dc93dd4dcba5fdab818b20ac591345b87