Merge pull request #1683 from RyanGlScott/master

Add back cryptol
2026-01-13 07:48:31 +01:00 · 2016-07-09 16:07:07 -07:00 · 2016-07-09 16:07:07 -07:00 · 03569e6167
commit 03569e6167
parent e3c200c2bb 43ab977e4a
2 changed files with 2 additions and 1 deletions
--- 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

--- a/debian-bootstrap.sh
+++ b/debian-bootstrap.sh
@ -111,6 +111,7 @@ apt-get install -y \
    stack \
    wget \
    xclip \
+    z3 \
    zip \
    zlib1g-dev