tamarin-prover-0.8.6.3: dependencies

Dependencies for tamarin-prover-0.8.6.3

tamarin-prover	array (>=0.3) base (>=4 && <5) binary (>=0.5 && <0.6) bytestring (>=0.9) cmdargs (>=0.10 && <0.11) containers (>=0.4.2) deepseq (>=1.3) derive (>=2.5 && <2.6) directory (>=1.0) dlist (>=0.5) fclabels (>=1.1 && <1.2) filepath (>=1.1) HUnit (>=1.2 && <1.3) mtl (>=2.1) parallel (>=3.2 && <3.3) parsec (>=3.1 && <3.2) process (>=1.1 && <1.2) safe (>=0.2) syb (>=0.3.3) tamarin-prover-term (>=0.8.5.1 && <0.9) tamarin-prover-theory (>=0.8.6.0 && <0.9) tamarin-prover-utils (>=0.8.5.1 && <0.9) time (>=1.2) transformers (>=0.3) uniplate (>=1.6 && <1.7) if !flag(no-gui) aeson (>=0.6 && <0.7) blaze-builder (>=0.3) blaze-html (>=0.5) bytestring (>=0.9) conduit (>=1.0 && <1.1) hamlet (>=1.1) http-types (>=0.7) lifted-base (>=0.2.0.5) monad-control (<1) old-locale (>=1 && <2) shakespeare (>=2.0 && <2.1) text (>=0.11 && <0.12) threads (>=0.4) wai (>=1.3) warp (>=1.3) yesod-core (>=1.2.6.6) yesod-json (>=1.2) yesod-static (>=1.2)

tamarin-prover

array (>=0.3)
base (>=4 && <5)
binary (>=0.5 && <0.6)
bytestring (>=0.9)
cmdargs (>=0.10 && <0.11)
containers (>=0.4.2)
deepseq (>=1.3)
derive (>=2.5 && <2.6)
directory (>=1.0)
dlist (>=0.5)
fclabels (>=1.1 && <1.2)
filepath (>=1.1)
HUnit (>=1.2 && <1.3)
mtl (>=2.1)
parallel (>=3.2 && <3.3)
parsec (>=3.1 && <3.2)
process (>=1.1 && <1.2)
safe (>=0.2)
syb (>=0.3.3)
tamarin-prover-term (>=0.8.5.1 && <0.9)
tamarin-prover-theory (>=0.8.6.0 && <0.9)
tamarin-prover-utils (>=0.8.5.1 && <0.9)
time (>=1.2)
transformers (>=0.3)
uniplate (>=1.6 && <1.7)
if !flag(no-gui)
- aeson (>=0.6 && <0.7)
- blaze-builder (>=0.3)
- blaze-html (>=0.5)
- bytestring (>=0.9)
- conduit (>=1.0 && <1.1)
- hamlet (>=1.1)
- http-types (>=0.7)
- lifted-base (>=0.2.0.5)
- monad-control (<1)
- old-locale (>=1 && <2)
- shakespeare (>=2.0 && <2.1)
- text (>=0.11 && <0.12)
- threads (>=0.4)
- wai (>=1.3)
- warp (>=1.3)
- yesod-core (>=1.2.6.6)
- yesod-json (>=1.2)
- yesod-static (>=1.2)

Automatic Flags

Name	Description	Default
no-gui	Do not build the web-application GUI.	Disabled
threaded	Build with support for multithreaded execution	Enabled
test-coverage	Build with test coverage support	Enabled
build-tests	Build unit test driver	Disabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info