Dependencies for tamarin-prover-theory-0.8.6.0
Libraries
tamarin-prover-theory
- 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 && <2)
- filepath (>=1.1)
- HUnit (>=1.2)
- mtl (>=2.1)
- parallel (>=3.2)
- parsec (>=3.1 && <3.2)
- process (>=1.1)
- safe (>=0.2 && <0.4)
- syb (>=0.3.3)
- tamarin-prover-term (>=0.8.5.1 && <0.9)
- tamarin-prover-utils (>=0.8.5.1 && <0.9)
- time (>=1.2)
- transformers (>=0.3)
- uniplate (>=1.6 && <1.7)