Dependencies for tamarin-prover-0.1.1.0
Executables
tamarin-prover
- aeson (>=0.3 && <0.4)
- array (>=0.3 && <0.4)
- base (>=4 && <5)
- binary (>=0.5 && <0.6)
- blaze-builder (>=0.3 && <0.4)
- bytestring (>=0.9 && <0.10)
- cmdargs (>=0.6.8 && <0.7)
- containers (>=0.3 && <0.4.2)
- deepseq (>=1.1 && <1.2)
- derive (>=2.5 && <2.6)
- directory (>=1.0 && <1.2)
- fclabels (>=1.0 && <1.1)
- filepath (>=1.1 && <1.3)
- hamlet (>=0.8 && <0.9)
- http-types (>=0.6 && <0.7)
- monad-control (>=0.2 && <0.3)
- mtl (>=2.0 && <2.1)
- old-locale (>=1.0 && <1.1)
- parallel (>=3.2 && <3.3)
- parsec (>=3.1 && <3.2)
- process (>=1.0 && <1.1)
- safe (>=0.2 && <0.4)
- syb (>=0.3.3 && <0.4)
- tamarin-prover-term (>=0.1 && <0.2)
- tamarin-prover-utils (>=0.1 && <0.2)
- text (>=0.11 && <0.12)
- threads (>=0.4 && <0.5)
- time (>=1.2 && <1.3)
- transformers (>=0.2 && <0.3)
- uniplate (>=1.6 && <1.7)
- wai (>=0.4 && <0.5)
- warp (>=0.4 && <0.5)
- yesod-core (>=0.8 && <0.9)
- yesod-form (>=0.1 && <0.2)
- yesod-json (>=0.1 && <0.2)
- yesod-static (>=0.1 && <0.2)
- if impl(ghc<=7.2)
- data-default (>=0.2 && <0.3)
- template-haskell (>=2.5 && <2.6)
- wai-extra (==0.4.3)
Flags
Automatic Flags
| Name | Description | Default |
|---|---|---|
| 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