tamarin-prover-utils-0.8.1.0: dependencies

Dependencies for tamarin-prover-utils-0.8.1.0

library	base (>=4 && <5) base64-bytestring (>=0.1.0.3 && <0.2) binary (>=0.5 && <0.6) blaze-builder (>=0.3 && <0.4) bytestring (>=0.9 && <0.10) containers (>=0.4.2 && <0.5) deepseq (>=1.3 && <1.4) dlist (>=0.5 && <0.6) fclabels (>=1.1 && <1.2) mtl (>=2.0 && <2.1) parsec (>=3.1 && <3.2) pretty (>=1.1 && <1.2) SHA (>=1.5 && <1.6) syb (>=0.3.3 && <0.4) time (>=1.2 && <1.5) transformers (>=0.2 && <0.3)