@hackage tamarin-prover-utils0.8.5.1

Utility library for the tamarin prover.

Categories
License
LicenseRef-GPL
Maintainer
Simon Meier <simon.meier@inf.ethz.ch>
Links
Versions
- 0.8.5.1 Fri, 7 Feb 2014
- 0.8.5.0 Wed, 8 May 2013
- 0.8.4.0 Tue, 15 Jan 2013
- 0.8.2.0 Fri, 28 Sep 2012
- 0.8.1.0 Mon, 13 Aug 2012
- 0.8.0.1 Fri, 20 Jul 2012

Deprecated
This package has been deprecated
Dependencies (16)
- base >=4 && <5
- binary >=0 && <1
- bytestring >=0.10
- containers >=0.4.2
- deepseq >=1 && <2
- mtl >=2 && <3
Dependents (4)
@hackage/tamarin-prover-theory, @hackage/acme-everything, @hackage/tamarin-prover, @hackage/tamarin-prover-term

This is an internal library of the Tamarin prover for security protocol verification (hackage.haskell.org/package/tamarin-prover).