diff --git a/deps/crucible b/deps/crucible
index ac948b4363..8cc5e175be 160000
--- a/deps/crucible
+++ b/deps/crucible
@@ -1 +1 @@
-Subproject commit ac948b4363745e10e2226c843339bad16bf198fa
+Subproject commit 8cc5e175be47de6f3d74348f6ec6e93e2598386d
diff --git a/deps/cryptol b/deps/cryptol
index 784bbaafc6..c6b4209816 160000
--- a/deps/cryptol
+++ b/deps/cryptol
@@ -1 +1 @@
-Subproject commit 784bbaafc60971dc3af187e8165c36c821cc5ffe
+Subproject commit c6b4209816c0563660ba0743181829faa6a09bcf
diff --git a/deps/macaw b/deps/macaw
index 9d8cdcc587..83d3907054 160000
--- a/deps/macaw
+++ b/deps/macaw
@@ -1 +1 @@
-Subproject commit 9d8cdcc58746f65dde96118162ad3ad6c6c845bb
+Subproject commit 83d3907054181b17be365bdea9abb25edd48aae3
diff --git a/deps/what4 b/deps/what4
index 8c9401b5d2..494ac6416e 160000
--- a/deps/what4
+++ b/deps/what4
@@ -1 +1 @@
-Subproject commit 8c9401b5d21d20451d224d4834bd611fc83b850b
+Subproject commit 494ac6416ed01eab6ae5d1be427d0aaae4c4bb91