Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
tamarin-prover-term-0.8.5.1
library
attoparsec
(>=0.10 && <0.11)
base
(>=4 && <5)
binary
(<1)
bytestring
(>=0.9)
containers
(>=0.4.2)
deepseq
(>=1.3)
derive
(>=2 && <3)
directory
(>=1.1)
dlist
(>=0.5 && <0.6)
HUnit
(>=1 && <2)
mtl
(>=2 && <3)
parsec
(>=3.1 && <3.2)
process
(>=1.1)
safe
(>=0.2)
split
(>=0.1 && <0.2)
syb
(>=0.3.3)
tamarin-prover-utils
(>=0.8.5.1 && <0.9)