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