diff --git a/build-constraints.yaml b/build-constraints.yaml
index f67fd5b6..3a01032c 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1752,9 +1752,6 @@ packages:
         - postgresql-binary < 0.7.4
         - hasql < 0.14.0.2
 
-        # https://github.com/GaloisInc/cryptol/issues/275
-        - sbv < 5.0
-
         # https://github.com/fpco/stackage/issues/856
         - syb < 0.6