From 9301c14e25658b4637bdb0d9cde8acf9b1d9d583 Mon Sep 17 00:00:00 2001
From: Adam Bergmark <adam@bergmark.nl>
Date: Fri, 25 Dec 2015 13:59:42 +0100
Subject: [PATCH] Remove sbv upper bound

---
 build-constraints.yaml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index bd213876..eee295f2 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1820,9 +1820,6 @@ packages:
         # https://github.com/fpco/stackage/issues/537
         - zlib < 0.6
 
-        # https://github.com/GaloisInc/cryptol/issues/275
-        - sbv < 5.0
-
         # https://github.com/joelwilliamson/bimap/pull/4
         - bimap < 0.3.1