git.iko.soy/stackage
on master help sign in
Add back cryptol
43ab977Ryan Scott
build-constraints.yaml+1−1
compare with master
unifiedsplit
@@ -1048,7 +1048,7 @@ packages:
1048 - language-thrift
1048 - language-thrift
1049
1049
1050 "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
1050 "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
1051− # GHC 8 - cryptol
1051+ - cryptol
1052 - gitrev
1052 - gitrev
1053 - persistent-refs
1053 - persistent-refs
1054
1054
debian-bootstrap.sh+1
@@ -111,6 +111,7 @@ apt-get install -y \
111 stack \
111 stack \
112 wget \
112 wget \
113 xclip \
113 xclip \
114+ z3 \
114 zip \
115 zip \
115 zlib1g-dev
116 zlib1g-dev
116
117