Skip to content

Commit

Permalink
bump version
Browse files Browse the repository at this point in the history
  • Loading branch information
Adam C. Foltzer committed Jun 1, 2015
1 parent 19ce4d4 commit ebaa986
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions cryptol.cabal
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
Name: cryptol
Version: 2.2.3
Version: 2.2.4
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: BSD3
Expand All @@ -23,7 +23,7 @@ source-repository head
source-repository this
type: git
location: https://github.com/GaloisInc/cryptol.git
tag: v2.2.3
tag: v2.2.4

flag static
default: False
Expand Down

0 comments on commit ebaa986

Please sign in to comment.