tamarin-prover 0.8.6.1 → 0.8.6.2

raw patch · 1 files changed

+6/−3 lines, 1 files

Files

• tamarin-prover.cabal +6/−3

@@ -1,7 +1,7 @@ cabal-version:      >= 1.8 build-type:         Simple name:               tamarin-prover-version:            0.8.6.1+version:            0.8.6.2 license:            GPL license-file:       LICENSE category:           Theorem Provers@@ -12,6 +12,9 @@ synopsis:           The Tamarin prover for security protocol analysis. description: +    **Note:** the tamarin-prover should be installed from source as described+    in its README at <https://github.com/tamarin-prover/tamarin-prover>.+     The Tamarin prover is a tool for the analysis of security protocols. It     implements a constraint solving algorithm that supports both falsification     and verification of security protocols with respect to an unbounded number@@ -252,8 +255,8 @@         base              == 4.*       , bytestring        >= 0.9       , deepseq           >= 1.3-      , array             >= 0.3   -      , containers        >= 0.4.2 +      , array             >= 0.3+      , containers        >= 0.4.2       , dlist             >= 0.5       , mtl               >= 2.1       , cmdargs           == 0.10.*