mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-11-28 09:23:04 +03:00
Rename Cabal freeze files
This commit is contained in:
parent
7f79f9bd5c
commit
20c58a0dd8
Loading…
Reference in New Issue
Block a user