Add back cryptol
commit43ab977e4a9e5d78606e15c1321c91d60862ae50
authorRyan Scott <ryan.gl.scott@gmail.com>
dateSat 9 Jul 2016, 11:25 (10 years ago)
parentd61facd
build-constraints.yaml+1−1
@@ -1048,7 +1048,7 @@ packages:
10481048 - language-thrift
10491049
10501050 "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
1051− # GHC 8 - cryptol
1051+ - cryptol
10521052 - gitrev
10531053 - persistent-refs
10541054
debian-bootstrap.sh+1
@@ -111,6 +111,7 @@ apt-get install -y \
111111 stack \
112112 wget \
113113 xclip \
114+ z3 \
114115 zip \
115116 zlib1g-dev
116117