cryptol 2.2.1 → 2.2.2

raw patch · 2 files changed

+5/−5 lines, 2 filesdep ~sbvsetup-changedPVP ok

version bump matches the API change (PVP)

Dependency ranges changed: sbv

API changes (from Hackage documentation)

Files

• Setup.hs +1/−1
• cryptol.cabal +4/−4

@@ -7,4 +7,4 @@ -- Portability :  portable  import Distribution.Simple-main = defaultMainWithHooks autoconfUserHooks+main = defaultMain

@@ -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@@ -11,7 +11,7 @@ Copyright:           2013-2015 Galois Inc. Category:            Language Build-type:          Simple-Cabal-version:       >= 1.18+Cabal-version:       >= 1.20  data-files:          *.cry data-dir:            lib@@ -23,7 +23,7 @@ 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 @@                        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,