GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-09-11 14:06:13 +03:00
Code Issues Projects Releases Wiki Activity
3,027 Commits 68 Branches 27 Tags 82 MiB
WIP/rpc/feat/newtype
Commit Graph

3 Commits

Author SHA1 Message Date
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