diff --git a/build-constraints.yaml b/build-constraints.yaml
index d5632797..1774dd84 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1507,7 +1507,7 @@ packages:
         - postgresql-simple < 0.5
 
         # https://github.com/GaloisInc/cryptol/issues/275
-        - cryptol < 5.0
+        - sbv < 5.0
 
         # https://github.com/fpco/stackage/issues/856
         - syb < 0.6