tamarin-prover-term-0.8.5.0: dependencies

Dependencies for tamarin-prover-term-0.8.5.0

library	attoparsec (>=0.10 && <0.11) base (>=4 && <5) binary (<1) bytestring (>=0.9) containers (>=0.4.2) deepseq (>=1.3) derive (>=2 && <3) directory (>=1.1) dlist (>=0.5 && <0.6) HUnit (>=1 && <2) mtl (>=2 && <3) parsec (>=3.1 && <3.2) process (>=1.1) safe (>=0.2) split (>=0.1 && <0.2) syb (>=0.3.3) tamarin-prover-utils (>=0.8.5 && <0.9)