tamarin-prover 0.8.6.0 → 0.8.6.1

raw patch · 2 files changed

+4/−3 lines, 2 filesdep +shakespearedep ~conduit

Dependencies added: shakespeare

Dependency ranges changed: conduit

Files

• data/AUTHORS +1/−1
• tamarin-prover.cabal +3/−2

@@ -3,6 +3,6 @@   Simon Meier      <iridcode@gmail.com>  Contributors:-  protocol models, GUI:   Cas Cremers <cas.cremers@inf.ethz.ch>+  protocol models, GUI:   Cas Cremers <cas.cremers@cs.ox.ac.uk>   original web interface: Cedric Staub <cs@cssx.ch   YubiKey models:         Robert Kuennemann <kunneman@lsv.ens-cachan.fr>

@@ -1,7 +1,7 @@ cabal-version:      >= 1.8 build-type:         Simple name:               tamarin-prover-version:            0.8.6.0+version:            0.8.6.1 license:            GPL license-file:       LICENSE category:           Theorem Provers@@ -235,11 +235,12 @@         , yesod-core        >= 1.2.6.6         , yesod-json        >= 1.2         , yesod-static      >= 1.2-        , conduit           >= 0.5+        , conduit           == 1.0.*         -- , yesod-form        == 0.4.*   -- required once we reactivate editing         , text              == 0.11.*         , wai               >= 1.3         , hamlet            >= 1.1+        , shakespeare       == 2.0.*         , warp              >= 1.3         , aeson             == 0.6.*         , old-locale        == 1.*