From 0e0e891fc11dac5820fd2d307713af3d039016be Mon Sep 17 00:00:00 2001
From: Levent Erkok <erkokl@gmail.com>
Date: Sun, 6 Dec 2015 19:59:24 -0800
Subject: [PATCH] Update build-constraints.yaml

Cryptol works with latest SBV release (the ticket referenced is stale.)
---
 build-constraints.yaml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 3cdcacf5..d2abc7a9 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1720,9 +1720,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