tamarin-prover-theory-0.8.5.1: dependencies

Dependencies for tamarin-prover-theory-0.8.5.1

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

library

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)