name: tamarin-prover-utils
cabal-version: >= 1.8
build-type: Simple
version: 0.4.0.0
license: GPL
license-file: LICENSE
category: Theorem Provers
author: Benedikt Schmidt <benedikt.schmidt@inf.ethz.ch>,
Simon Meier <simon.meier@inf.ethz.ch>
maintainer: Simon Meier <simon.meier@inf.ethz.ch>
copyright: Benedikt Schmidt, Simon Meier, ETH Zurich, 2010-2012
synopsis: Utility library for the tamarin prover.
description: This is an internal library of the Tamarin prover for
security protocol verification
(<hackage.haskell.org/package/tamarin-prover>).
homepage: http://www.infsec.ethz.ch/research/software#TAMARIN
----------------------
-- library stanzas
----------------------
library
ghc-prof-options: -auto-all
build-depends:
base == 4.*
, mtl == 2.0.*
, bytestring == 0.9.*
, transformers == 0.2.*
, containers >= 0.4.2 && < 0.5
, fclabels == 1.1.*
, blaze-builder == 0.3.*
, base64-bytestring >= 0.1.0.3 && < 0.2
, bytestring == 0.9.*
, SHA == 1.5.*
, parsec == 3.1.*
, deepseq == 1.3.*
, syb >= 0.3.3 && < 0.4
, pretty == 1.1.*
, time >= 1.2 && < 1.5
, binary == 0.5.*
, dlist == 0.5.*
hs-source-dirs: src
exposed-modules:
Control.Basics
Control.Monad.Fresh
Control.Monad.Trans.PreciseFresh
Control.Monad.Trans.FastFresh
Control.Monad.Bind
Control.Monad.Disj
Data.Color
Data.DAG.Simple
Extension.Prelude
Extension.Data.Label
Extension.Data.Monoid
Extension.Data.Bounded
Extension.Data.ByteString
Text.Dot
Text.PrettyPrint.Class
Text.PrettyPrint.Highlight
Text.PrettyPrint.Html
Logic.Connectives
System.Timing
Debug.Trace.Ignore
Utils.Misc
other-modules:
Control.Monad.Fresh.Class
Control.Monad.Trans.Disj
Control.Monad.Disj.Class