diff --git a/cabal.GHC82.config b/cabal.GHC82.config
index a44aa61e..614663ce 100644
--- a/cabal.GHC82.config
+++ b/cabal.GHC82.config
@@ -90,7 +90,7 @@ constraints: Cabal -bundled-binary-generic,
              regex-posix ==0.95.2,
              regex-posix +newbase +splitbase,
              rts ==1.0,
-             sbv ==7.7,
+             sbv ==7.10,
              scientific ==0.3.5.2,
              scientific -bytestring-builder -integer-simple,
              semigroups ==0.18.4,
diff --git a/cabal.GHC84.config b/cabal.GHC84.config
index 2b49a492..e50fa218 100644
--- a/cabal.GHC84.config
+++ b/cabal.GHC84.config
@@ -92,7 +92,7 @@ constraints: Cabal ==2.2.0.0,
              regex-posix ==0.95.2,
              regex-posix +newbase +splitbase,
              rts ==1.0,
-             sbv ==7.7,
+             sbv ==7.10,
              scientific ==0.3.5.3,
              scientific -bytestring-builder -integer-simple,
              semigroups ==0.18.4,