From 1a66216447bfe1df09ab24f792c376eb8e302e98 Mon Sep 17 00:00:00 2001
From: "Adam C. Foltzer" <acfoltzer@gmail.com>
Date: Tue, 24 Mar 2015 12:13:40 -0700
Subject: [PATCH] add cryptol

It's finally on Hackage!
---
 build-constraints.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 8c02d39c..e95fc500 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -744,6 +744,7 @@ packages:
         - waitra
 
     "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
+        - cryptol
         - gitrev
 
     "Luke Taylor tekul.hs@gmail.com @tekul":