mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 14:06:13 +03:00
cryptol.cabal: Tag 3.1.0 release
This commit is contained in:
parent
3cf3210578
commit
65397a491b
@ -27,7 +27,7 @@ source-repository this
|
||||
type: git
|
||||
location: https://github.com/GaloisInc/cryptol.git
|
||||
-- add a tag on release branches
|
||||
-- tag:
|
||||
tag: 3.1.0
|
||||
|
||||
|
||||
flag static
|
||||
|
Loading…
Reference in New Issue
Block a user