From 222fe8aac172b1b20e791857dc212e266a0a7699 Mon Sep 17 00:00:00 2001
From: Adam Bergmark <adam@bergmark.nl>
Date: Mon, 26 Jun 2017 16:45:07 +0200
Subject: [PATCH] Close #2251

---
 build-constraints.yaml | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

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