diff --git a/deps/argo b/deps/argo
index fd8529883c..afee6bb49c 160000
--- a/deps/argo
+++ b/deps/argo
@@ -1 +1 @@
-Subproject commit fd8529883cd462b5f666506ecce5802bbf6867df
+Subproject commit afee6bb49c7831a38316221e7b9721fbc65e88d7
diff --git a/deps/cryptol b/deps/cryptol
index 413788c578..7748a619e9 160000
--- a/deps/cryptol
+++ b/deps/cryptol
@@ -1 +1 @@
-Subproject commit 413788c57877aa58b6656eb7757e711e91d499fc
+Subproject commit 7748a619e9e2167097ef680a20578c17803ccc0a
diff --git a/deps/cryptol-specs b/deps/cryptol-specs
index 031b6c4558..0365dca32d 160000
--- a/deps/cryptol-specs
+++ b/deps/cryptol-specs
@@ -1 +1 @@
-Subproject commit 031b6c45584150a33aa7c0b817703372b0189492
+Subproject commit 0365dca32d13d6fc12a93ded11b686e18e6490eb
diff --git a/deps/macaw b/deps/macaw
index d1d71fd973..ad51ae3c54 160000
--- a/deps/macaw
+++ b/deps/macaw
@@ -1 +1 @@
-Subproject commit d1d71fd973f802483e93dffc968dfbdde12fab59
+Subproject commit ad51ae3c54be97f4f7d15e8eaed9344341ce88e4
diff --git a/deps/parameterized-utils b/deps/parameterized-utils
index b0a84444c5..8bb69110b5 160000
--- a/deps/parameterized-utils
+++ b/deps/parameterized-utils
@@ -1 +1 @@
-Subproject commit b0a84444c5ce096255a54e07179f242ad3d5e9dd
+Subproject commit 8bb69110b5c9658c94ef8dcf9f3028d6e7ad32e6
diff --git a/deps/what4 b/deps/what4
index 629f9f1d6f..ac64bcd580 160000
--- a/deps/what4
+++ b/deps/what4
@@ -1 +1 @@
-Subproject commit 629f9f1d6fa586cef756e3cc65c130c14de34e17
+Subproject commit ac64bcd580f552bd22ec5a135fdbcc3d523723a1