Skip to content

Commit

Permalink
Update version number and git tag in Cabal file
Browse files Browse the repository at this point in the history
  • Loading branch information
Aaron Tomb committed Nov 18, 2020
1 parent 0541bcf commit 26d57e9
Showing 1 changed file with 2 additions and 3 deletions.
5 changes: 2 additions & 3 deletions cryptol.cabal
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
Cabal-version: 2.4
Name: cryptol
Version: 2.9.1.99
Version: 2.10.0
Synopsis: Cryptol: The Language of Cryptography
Description: Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implementation of an algorithm resembles its mathematical specification more closely than an implementation in a general purpose language. For more, see <http://www.cryptol.net/>.
License: BSD-3-Clause
Expand All @@ -25,8 +25,7 @@ source-repository head
source-repository this
type: git
location: https://github.com/GaloisInc/cryptol.git
-- add a tag on release branches
-- tag:
tag: 2.10.0


flag static
Expand Down

0 comments on commit 26d57e9

Please sign in to comment.