diff --git a/deps/crucible b/deps/crucible
index 459e8db3..f9760bdb 160000
--- a/deps/crucible
+++ b/deps/crucible
@@ -1 +1 @@
-Subproject commit 459e8db323b164ad48f52fb232a6a3331e99be69
+Subproject commit f9760bdb9921523848efc9889fbd72bd6dea506e
diff --git a/deps/llvm-pretty b/deps/llvm-pretty
index 94e38484..1fa09fc6 160000
--- a/deps/llvm-pretty
+++ b/deps/llvm-pretty
@@ -1 +1 @@
-Subproject commit 94e384842b214ba72446d1694446fb5261ab6ce2
+Subproject commit 1fa09fc6ab6d2873b5a631b756fcb259bec349db
diff --git a/deps/llvm-pretty-bc-parser b/deps/llvm-pretty-bc-parser
index ac9fff49..1cfe6e86 160000
--- a/deps/llvm-pretty-bc-parser
+++ b/deps/llvm-pretty-bc-parser
@@ -1 +1 @@
-Subproject commit ac9fff49ef1670e58be9ce90075eaa02726f8662
+Subproject commit 1cfe6e86ab802170a531aa646dd6cb6f9f685455
diff --git a/deps/what4 b/deps/what4
index 28744e48..494ac641 160000
--- a/deps/what4
+++ b/deps/what4
@@ -1 +1 @@
-Subproject commit 28744e48e01dc9c35d5aeebb914a9bb425cfe0f1
+Subproject commit 494ac6416ed01eab6ae5d1be427d0aaae4c4bb91
diff --git a/macaw-semmc/macaw-semmc.cabal b/macaw-semmc/macaw-semmc.cabal
index 1988c2f9..bfcccd9a 100644
--- a/macaw-semmc/macaw-semmc.cabal
+++ b/macaw-semmc/macaw-semmc.cabal
@@ -39,7 +39,7 @@ library
                        semmc,
                        bv-sized >= 1 && < 1.1,
                        libBF >= 0.6 && < 0.7,
-                       what4 >= 1.1 && < 1.6
+                       what4 >= 1.1 && < 1.7
   hs-source-dirs:      src
   default-language:    Haskell2010
   ghc-options:         -Wall -Wcompat
diff --git a/symbolic/macaw-symbolic.cabal b/symbolic/macaw-symbolic.cabal
index 31843100..dd2f4e22 100644
--- a/symbolic/macaw-symbolic.cabal
+++ b/symbolic/macaw-symbolic.cabal
@@ -27,7 +27,7 @@ library
     text,
     vector,
     bytestring,
-    what4 >= 1.1 && < 1.6
+    what4 >= 1.1 && < 1.7
 
   hs-source-dirs: src