tamarin-prover-utils-0.8.5.1: dependencies

Dependencies for tamarin-prover-utils-0.8.5.1

library	base (>=4 && <5) base64-bytestring (>=0.1.0.3) binary (<1) blaze-builder (<1) bytestring (>=0.10) containers (>=0.4.2) deepseq (>=1 && <2) dlist (<1) fclabels (>=1 && <2) mtl (>=2 && <3) parsec (>=3 && <4) pretty (>=1 && <2) SHA (>=1 && <2) syb (>=0.3.3) time (>=1.2) transformers (<1)