tamarin-prover-term-0.8.0.0: dependencies

Dependencies for tamarin-prover-term-0.8.0.0

library	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 && <0.9)

library

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 && <0.9)