diff --git a/cryptol-remote-api/cryptol-remote-api.cabal b/cryptol-remote-api/cryptol-remote-api.cabal
index 4371c5bb6..5cf56bbe1 100644
--- a/cryptol-remote-api/cryptol-remote-api.cabal
+++ b/cryptol-remote-api/cryptol-remote-api.cabal
@@ -40,22 +40,22 @@ common errors
 
 common deps
   build-depends:
-    base                 >=4.11.1.0 && <4.17,
+    base                 >=4.11.1.0 && <4.18,
     argo,
-    aeson                >= 1.4.2 && < 2.1,
+    aeson                >= 1.4.2 && < 2.2,
     base64-bytestring    >= 1.0,
     bytestring           >= 0.10.8 && < 0.12,
     containers           >=0.6.0.1 && <0.7,
     cryptol              >= 2.9.0,
     directory,
     filepath             ^>= 1.4,
-    lens                 >= 4.17 && < 5.2,
+    lens                 >= 4.17 && < 5.3,
     mtl                  ^>= 2.2,
     scientific           ^>= 0.3,
-    text                 ^>= 1.2.3,
+    text                 >= 1.2.3 && < 2.1,
     tf-random,
     unordered-containers ^>= 0.2,
-    vector               ^>= 0.12,
+    vector               ^>= 0.13,
 
   default-language:    Haskell2010
 
diff --git a/cryptol.cabal b/cryptol.cabal
index 61d813e8e..7dac3d7e7 100644
--- a/cryptol.cabal
+++ b/cryptol.cabal
@@ -84,10 +84,10 @@ library
                        mtl               >= 2.2.1,
                        time              >= 1.6.0.1,
                        panic             >= 0.3,
-                       what4             >= 1.3 && < 1.4
+                       what4             >= 1.4 && < 1.5
 
   if impl(ghc >= 9.0)
-    build-depends:     ghc-bignum        >= 1.0 && < 1.3
+    build-depends:     ghc-bignum        >= 1.0 && < 1.4
   else
     build-depends:     integer-gmp       >= 1.0 && < 1.1
 
diff --git a/src/Cryptol/Eval/SBV.hs b/src/Cryptol/Eval/SBV.hs
index 8ecf087e6..84da65f3d 100644
--- a/src/Cryptol/Eval/SBV.hs
+++ b/src/Cryptol/Eval/SBV.hs
@@ -8,6 +8,7 @@
 
 {-# LANGUAGE BlockArguments #-}
 {-# LANGUAGE DeriveFunctor #-}
+{-# LANGUAGE FlexibleContexts #-}
 {-# LANGUAGE FlexibleInstances #-}
 {-# LANGUAGE GeneralizedNewtypeDeriving #-}
 {-# LANGUAGE LambdaCase #-}
diff --git a/src/Cryptol/Eval/What4.hs b/src/Cryptol/Eval/What4.hs
index b53c0e863..090ffcc62 100644
--- a/src/Cryptol/Eval/What4.hs
+++ b/src/Cryptol/Eval/What4.hs
@@ -6,6 +6,7 @@
 
 {-# LANGUAGE BlockArguments #-}
 {-# LANGUAGE DataKinds #-}
+{-# LANGUAGE FlexibleContexts #-}
 {-# LANGUAGE LambdaCase #-}
 {-# LANGUAGE GADTs #-}
 {-# LANGUAGE MultiWayIf #-}