GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-17 21:11:35 +03:00
Code Issues Projects Releases Wiki Activity
1,588 Commits 67 Branches 28 Tags 95 MiB
6a0d7ca9df
Commit Graph

5 Commits

Author SHA1 Message Date
Aaron Tomb
6a0d7ca9df Remove cryptol-test-runner from frozen packages 2018-03-21 10:13:52 -07:00
Aaron Tomb
7f27ed592d Remove unnecessary dependency on old-time 2018-03-12 12:53:27 -07:00
Aaron Tomb
b96eef5ef0 Bump library versions for GHC 8.2 2018-03-12 11:02:15 -07:00
Aaron Tomb
032522a497 Allow GHC 8.2.* with Cabal-based builds 2018-02-28 10:22:55 -08:00
Aaron Tomb
1fae177542 Add Cabal configuration for GHC 8.2 2018-02-28 10:15:29 -08:00