name: tamarin-prover-utils
cabal-version: >= 1.8
build-type: Simple
version: 0.8.5.1
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
source-repository head
type: git
location: https://github.com/tamarin-prover/tamarin-prover.git
----------------------
-- library stanzas
----------------------
library
ghc-options: -Wall -fwarn-tabs
ghc-prof-options: -auto-all
build-depends:
base == 4.*
, mtl == 2.*
, bytestring >= 0.10
, transformers == 0.*
, containers >= 0.4.2
, fclabels == 1.*
, blaze-builder == 0.*
, base64-bytestring >= 0.1.0.3
, SHA == 1.*
, parsec == 3.*
, deepseq == 1.*
, syb >= 0.3.3
, pretty == 1.*
, time >= 1.2
, binary == 0.*
, dlist == 0.*
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.Unicode
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