From 1796d190717bea49f0d6d4df3e97154c34f7844c Mon Sep 17 00:00:00 2001
From: Mihai Maruseac <mihai.maruseac@gmail.com>
Date: Mon, 2 Oct 2017 18:12:35 -0700
Subject: [PATCH] Disable cryptol because of #2927

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

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