tamarin-prover-term-0.1.0.0: dependencies

Dependencies for tamarin-prover-term-0.1.0.0

library	base (>=4 && <5) binary (>=0.5 && <0.6) containers (>=0.4 && <0.5) deepseq (>=1.1 && <1.2) derive (>=2.5 && <2.6) directory (>=1.1 && <1.2) dlist (>=0.5 && <0.6) mtl (>=2.0 && <2.1) parsec (>=3.1 && <3.2) process (>=1.0 && <1.1) safe (>=0.2 && <0.3) split (>=0.1 && <0.2) syb (>=0.3.3 && <0.4) tamarin-prover-utils (>=0.1 && <0.2)