haskell/stackage
1
0
Fork 0
mirror of https://github.com/commercialhaskell/stackage.git synced 2026-02-18 09:15:50 +01:00
Code Issues Actions 2 Packages Projects Releases Wiki Activity

Add back cryptol

Browse Source
This commit is contained in:
Ryan Scott 2016-07-09 11:25:15 -04:00
parent d61facd6c5
commit 43ab977e4a
2 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
build-constraints.yaml
View File

@ -1048,7 +1048,7 @@ packages:
- language-thrift - language-thrift
"Adam C. Foltzer acfoltzer@galois.com @acfoltzer": "Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
# GHC 8 - cryptol - cryptol
- gitrev - gitrev
- persistent-refs - persistent-refs

1
debian-bootstrap.sh
View File

@ -111,6 +111,7 @@ apt-get install -y \
stack \ stack \
wget \ wget \
xclip \ xclip \
z3 \
zip \ zip \
zlib1g-dev zlib1g-dev