haskell/stackage
1
0
Fork 0
mirror of https://github.com/commercialhaskell/stackage.git synced 2026-01-12 07:18:31 +01:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

add cryptol

Browse Source 
It's finally on Hackage!
This commit is contained in:
Adam C. Foltzer 2015-03-24 12:13:40 -07:00
parent 296192f3fb
commit 1a66216447
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
build-constraints.yaml
View File

@ -744,6 +744,7 @@ packages:
- waitra
"Adam C. Foltzer acfoltzer@galois.com @acfoltzer":
- cryptol
- gitrev
"Luke Taylor tekul.hs@gmail.com @tekul":