From 7e91c74bb2f620fec06af6891f508c95912cc7ff Mon Sep 17 00:00:00 2001
From: Adam Bergmark <adam@bergmark.nl>
Date: Sat, 25 Nov 2017 19:53:58 +0100
Subject: [PATCH] Disable cryptol #2927

---
 build-constraints.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index ac0f1300..c603277b 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1396,7 +1396,7 @@ packages:
         # - language-thrift # megaparsec bounds: https://github.com/fpco/stackage/issues/2666
 
     "Adam C. Foltzer <acfoltzer@galois.com> @acfoltzer":
-        - cryptol
+        - cryptol < 0 # Happy setup-depends https://github.com/fpco/stackage/issues/2927
         - gitrev
         - persistent-refs