GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-17 13:01:31 +03:00
Code Issues Projects Releases Wiki Activity
1,283 Commits 68 Branches 28 Tags 95 MiB
d4b70a039a
Commit Graph

4 Commits

Author SHA1 Message Date
Trevor Elliott
5fc47c8dab Remove monadLib and simple-smt from stackage snapshots 2017-03-13 15:51:28 -07:00
Trevor Elliott
7e1ad7d970 Remove cryptol from the stackage snapshots 2017-03-13 15:50:00 -07:00
Trevor Elliott
302e48068d Update stackage snapshots 2017-03-13 14:23:25 -07:00
Adam C. Foltzer
921b50a1a9 add GHC 8 stackage nightly 2016-06-07 14:29:20 -07:00