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

add upper bound to SBV; bump version

Browse Source
This commit is contained in:
Adam C. Foltzer 2015-04-10 11:16:40 -07:00
parent 300ed3cba9
commit ce36319f09
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
cryptol.cabal
View File

@ -1,5 +1,5 @@
Name: cryptol
Version: 2.2.1
Version: 2.2.2
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.2.1
tag: v2.2.2
flag static
default: False
@ -56,7 +56,7 @@ library
process >= 1.2,
QuickCheck >= 2.7,
random >= 1.0.1,
sbv >= 4.2,
sbv >= 4.2 && < 4.3,
smtLib >= 1.0.7,
syb >= 0.4,
text >= 1.1,