diff --git a/build-constraints.yaml b/build-constraints.yaml
index c46bad9d..bd4b2e5f 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1283,7 +1283,7 @@ packages:
         - language-thrift
 
     "Adam C. Foltzer <acfoltzer@galois.com> @acfoltzer":
-        - cryptol
+        # - cryptol # bounds: sbv
         - gitrev
         - persistent-refs
 
@@ -3159,9 +3159,6 @@ packages:
         # https://github.com/fpco/stackage/issues/2127
         - leapseconds-announced < 2017.0.0.1
 
-        # https://github.com/fpco/stackage/issues/2251
-        - sbv < 5.15
-
         # https://github.com/fpco/stackage/issues/2317
         - skylighting < 0.2