diff --git a/build-constraints.yaml b/build-constraints.yaml
index 25ad4d23..9ce66da8 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1282,7 +1282,7 @@ packages:
         - language-thrift
 
     "Adam C. Foltzer <acfoltzer@galois.com> @acfoltzer":
-        - cryptol
+        # - cryptol # bounds: sbv
         - gitrev
         - persistent-refs
 
@@ -3157,9 +3157,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