diff --git a/deps/crucible b/deps/crucible
index c4e01c5306..9a5d6cc32c 160000
--- a/deps/crucible
+++ b/deps/crucible
@@ -1 +1 @@
-Subproject commit c4e01c5306e4af2aacc860fd1201cc3a4f8188f4
+Subproject commit 9a5d6cc32c8351722ab8b489a634b78f62337805
diff --git a/deps/cryptol b/deps/cryptol
index 9be52cc23b..65397a491b 160000
--- a/deps/cryptol
+++ b/deps/cryptol
@@ -1 +1 @@
-Subproject commit 9be52cc23b9d052ebdb7726954df179f259e9932
+Subproject commit 65397a491bddc3b4e8f41053106ce8859387d662