diff --git a/cabal.GHC-8.10.7.config b/cabal.GHC-8.10.7.config
index 0b01a4b7d..52d0a192d 100644
--- a/cabal.GHC-8.10.7.config
+++ b/cabal.GHC-8.10.7.config
@@ -294,7 +294,7 @@ constraints: any.Cabal ==3.2.1.0,
              any.warp-tls ==3.3.2,
              any.wcwidth ==0.0.2,
              wcwidth -cli +split-base,
-             any.what4 ==1.2.1,
+             any.what4 ==1.3,
              what4 -drealtestdisable -solvertests -stptestdisable,
              any.witherable ==0.4.2,
              any.word8 ==0.1.3,
@@ -306,4 +306,4 @@ constraints: any.Cabal ==3.2.1.0,
              any.zlib ==0.6.2.3,
              zlib -bundled-c-zlib -non-blocking-ffi -pkg-config,
              any.zlib-bindings ==0.1.1.5
-index-state: hackage.haskell.org 2022-01-13T19:44:37Z
+index-state: hackage.haskell.org 2022-04-21T14:15:08Z
diff --git a/cabal.GHC-8.8.4.config b/cabal.GHC-8.8.4.config
index c776541e5..bf3ba22fd 100644
--- a/cabal.GHC-8.8.4.config
+++ b/cabal.GHC-8.8.4.config
@@ -295,7 +295,7 @@ constraints: any.Cabal ==3.0.1.0,
              any.warp-tls ==3.3.2,
              any.wcwidth ==0.0.2,
              wcwidth -cli +split-base,
-             any.what4 ==1.2.1,
+             any.what4 ==1.3,
              what4 -drealtestdisable -solvertests -stptestdisable,
              any.witherable ==0.4.2,
              any.word8 ==0.1.3,
@@ -307,4 +307,4 @@ constraints: any.Cabal ==3.0.1.0,
              any.zlib ==0.6.2.3,
              zlib -bundled-c-zlib -non-blocking-ffi -pkg-config,
              any.zlib-bindings ==0.1.1.5
-index-state: hackage.haskell.org 2022-01-13T19:44:37Z
+index-state: hackage.haskell.org 2022-04-21T14:15:08Z
diff --git a/cabal.GHC-9.0.2.config b/cabal.GHC-9.0.2.config
index a154e58b7..9dfb50d71 100644
--- a/cabal.GHC-9.0.2.config
+++ b/cabal.GHC-9.0.2.config
@@ -295,7 +295,7 @@ constraints: any.Cabal ==3.4.1.0,
              any.warp-tls ==3.3.2,
              any.wcwidth ==0.0.2,
              wcwidth -cli +split-base,
-             any.what4 ==1.2.1,
+             any.what4 ==1.3,
              what4 -drealtestdisable -solvertests -stptestdisable,
              any.witherable ==0.4.2,
              any.word8 ==0.1.3,
@@ -307,4 +307,4 @@ constraints: any.Cabal ==3.4.1.0,
              any.zlib ==0.6.2.3,
              zlib -bundled-c-zlib -non-blocking-ffi -pkg-config,
              any.zlib-bindings ==0.1.1.5
-index-state: hackage.haskell.org 2022-01-13T19:44:37Z
+index-state: hackage.haskell.org 2022-04-21T14:15:08Z
diff --git a/cryptol.cabal b/cryptol.cabal
index c71ecaade..5ba6740d6 100644
--- a/cryptol.cabal
+++ b/cryptol.cabal
@@ -74,7 +74,7 @@ library
                        mtl               >= 2.2.1,
                        time              >= 1.6.0.1,
                        panic             >= 0.3,
-                       what4             >= 1.2 && < 1.3
+                       what4             >= 1.3 && < 1.4
 
   if impl(ghc >= 9.0)
     build-depends:     ghc-bignum        >= 1.0 && < 1.3