diff --git a/dependencies/aig b/dependencies/aig
index f5cf71da..b59077c0 160000
--- a/dependencies/aig
+++ b/dependencies/aig
@@ -1 +1 @@
-Subproject commit f5cf71da841187c726b8511c79476ddfeb8ea3aa
+Subproject commit b59077c065b659e985ee25966809dd448a0d595a
diff --git a/what4-abc/what4-abc.cabal b/what4-abc/what4-abc.cabal
index 03781ece..21196129 100644
--- a/what4-abc/what4-abc.cabal
+++ b/what4-abc/what4-abc.cabal
@@ -17,7 +17,7 @@ Description:
 
 library
   build-depends:
-    base >= 4.7 && < 4.14,
+    base >= 4.7 && < 4.15,
     aig,
     abcBridge >= 0.11,
     ansi-wl-pprint,
diff --git a/what4-blt/what4-blt.cabal b/what4-blt/what4-blt.cabal
index 1d2e77f2..af0b339c 100644
--- a/what4-blt/what4-blt.cabal
+++ b/what4-blt/what4-blt.cabal
@@ -16,7 +16,7 @@ Description:
 
 library
   build-depends:
-    base >= 4.7 && < 4.14,
+    base >= 4.7 && < 4.15,
     ansi-wl-pprint,
     blt >= 0.12.1,
     containers,