Dependencies for tamarin-prover-utils-0.8.5.1
Libraries
tamarin-prover-utils
- 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)