Merge pull request #1683 from RyanGlScott/master
Add back cryptol
commit03569e61672df60b15a04d284ba9a1c07308fc66
authorDan Burton <danburton.email@gmail.com>
dateSat 9 Jul 2016, 16:07 (10 years ago)
parente3c200c43ab977
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