Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
tamarin-prover-utils-0.1.0.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 && <0.5)
deepseq
(>=1.1 && <1.2)
fclabels
(>=1.0 && <1.1)
mtl
(>=2.0 && <2.1)
parsec
(>=3.1 && <3.2)
pretty
(>=1.1 && <1.2)
SHA
(>=1.4 && <1.5)
syb
(>=0.3.3 && <0.4)
time
(>=1.2 && <1.3)
transformers
(>=0.2 && <0.3)