GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-30 03:46:02 +03:00
Code Issues Projects Releases Wiki Activity
3,069 Commits 66 Branches 28 Tags 95 MiB
3900c68619
Commit Graph

4 Commits

Author SHA1 Message Date
Rob Dockins
3900c68619 Update build metadata to allow/require What4 1.2 2021-06-17 11:54:09 -07:00
Iavor Diatchki
4e0da53ff3 Change freeze files to use test-lib 0.3 2021-04-21 17:20:37 -07:00
Rob Dockins
8e6a4007fc Update freeze files 2021-02-09 11:04:45 -08:00
Aaron Tomb
339c13b723
Prepare for v2.9.1 (#872) 
* Tiny tweaks to release notes
* Update GHC versions
* Update GHC versions for Actions
* Build releases with 8.8.4 (Something strange is going on with 8.10.2 on Windows)
 2020-08-31 11:40:09 -07:00