Dependencies for tamarin-prover-term-0.8.1.0
Libraries
tamarin-prover-term
- attoparsec (>=0.10 && <0.11)
- base (>=4 && <5)
- binary (>=0.5 && <0.6)
- bytestring (>=0.9 && <0.10)
- containers (>=0.4.2 && <0.5)
- deepseq (>=1.3 && <1.4)
- derive (>=2.5 && <2.6)
- directory (>=1.1 && <1.2)
- dlist (>=0.5 && <0.6)
- HUnit (>=1.2 && <1.3)
- mtl (>=2.0 && <2.1)
- parsec (>=3.1 && <3.2)
- process (>=1.1 && <1.2)
- safe (>=0.2 && <0.4)
- split (>=0.1 && <0.2)
- syb (>=0.3.3 && <0.4)
- tamarin-prover-utils (>=0.8.1 && <0.9)