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