From be8ebd99c9ae4eb97f34c7ac933d853457d35b0c Mon Sep 17 00:00:00 2001
From: Adam Bergmark <adam@bergmark.nl>
Date: Sat, 25 Nov 2017 19:20:20 +0100
Subject: [PATCH] Re-enable cryptol, closes #2927

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

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 2fe5de70..f3f02715 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 # https://github.com/fpco/stackage/issues/2927
+        - cryptol
         - gitrev
         - persistent-refs