GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-30 23:45:23 +03:00
Code Issues Projects Releases Wiki Activity

version bump & housekeeping

Browse Source 
Bumped to version 2.4.0 and dropped the minor version from the GHC710
etc variables
This commit is contained in:
Adam C. Foltzer 2016-01-26 12:08:52 -08:00
parent b395265fe4
commit feb9d22a88
3 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

0
cabal.GHC7102.config → cabal.GHC710.config
View File

0
cabal.GHC783.config → cabal.GHC78.config
View File

4
cryptol.cabal
View File

@ -1,5 +1,5 @@
Name: cryptol
Version: 2.3.0
Version: 2.4.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: BSD3
@ -23,7 +23,7 @@ source-repository head
source-repository this
type: git
location: https://github.com/GaloisInc/cryptol.git
tag: v2.3.0
tag: 2.4.0
flag static
default: False