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