diff --git a/cryptol.cabal b/cryptol.cabal
index f721e782d..2f11edaef 100644
--- a/cryptol.cabal
+++ b/cryptol.cabal
@@ -65,7 +65,7 @@ library
                        pretty            >= 1.1,
                        process           >= 1.2,
                        random            >= 1.0.1,
-                       sbv               >= 8.6 && < 8.13,
+                       sbv               >= 8.6 && < 8.14,
                        simple-smt        >= 0.7.1,
                        stm               >= 2.4,
                        strict,