From 43ab977e4a9e5d78606e15c1321c91d60862ae50 Mon Sep 17 00:00:00 2001
From: Ryan Scott <ryan.gl.scott@gmail.com>
Date: Sat, 9 Jul 2016 11:25:15 -0400
Subject: [PATCH] Add back cryptol

---
 build-constraints.yaml | 2 +-
 debian-bootstrap.sh    | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 3f1cba15..3bd2bd19 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -1048,7 +1048,7 @@ packages:
         - language-thrift
 
     "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
-        # GHC 8 - cryptol
+        - cryptol
         - gitrev
         - persistent-refs
 
diff --git a/debian-bootstrap.sh b/debian-bootstrap.sh
index 0a77511f..924e134f 100755
--- a/debian-bootstrap.sh
+++ b/debian-bootstrap.sh
@@ -111,6 +111,7 @@ apt-get install -y \
     stack \
     wget \
     xclip \
+    z3 \
     zip \
     zlib1g-dev