scyther-proof 0.4.0 → 0.4.1.0
raw patch · 3 files changed
+8/−11 lines, 3 filesdep ~pretty
Dependency ranges changed: pretty
Files
- CHANGES +5/−1
- interactive-only-src/Paths_scyther_proof.hs +1/−1
- scyther-proof.cabal +2/−9
CHANGES view
@@ -1,4 +1,8 @@-* 0.4.0 Bugfixes and dropped export of library+* 0.4.1.0 Bugfixes and dropped export of library+ - widen 'pretty' dependency+ - update package description++* 0.4.0.0 Bugfixes and dropped export of library - Compiles now with GHC 7.0.x, 7.2.x, 7.4.x - Fixed some corner cases in unification code for key-inversion.
interactive-only-src/Paths_scyther_proof.hs view
@@ -12,7 +12,7 @@ version :: Version-version = Version {versionBranch = [0,4,0], versionTags = []}+version = Version {versionBranch = [0,4,1,0], versionTags = []} bindir, libdir, datadir, libexecdir :: FilePath bindir = "."
scyther-proof.cabal view
@@ -1,6 +1,6 @@ build-type: Simple name: scyther-proof-version: 0.4.0+version: 0.4.1.0 license: GPL license-file: LICENSE category: Security, Theorem Provers@@ -18,13 +18,6 @@ Machine-Checked Protocol Security Proofs\" by Meier, Cremers, and Basin available from <http://people.inf.ethz.ch/meiersi/publications/index.html>- .- Parts of the infrastructure underlying scyther-proof are- reused in other projects by the same author. Therefore,- most of its modules are exported in the corresponding- scyther-proof library. However, this library is not yet- thought for general use. Please contact the author, if you- would like to build upon/extend scyther-proof. homepage: http://www.infsec.ethz.ch/people/meiersi/ stability: Beta@@ -127,7 +120,7 @@ time >= 1.1 && < 1.3 , parsec == 3.1.* ,- pretty == 1.0.* ,+ pretty >= 1.0 && < 1.2 , tagsoup == 0.12.* , json == 0.5.* , uniplate == 1.6.*