Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
tamarin-prover-theory-0.8.2.0
library
array
(>=0.3 && <0.5)
base
(>=4 && <5)
binary
(>=0.5 && <0.6)
bytestring
(>=0.9 && <0.10)
cmdargs
(>=0.9 && <0.10)
containers
(>=0.4.2 && <0.5)
deepseq
(>=1.3 && <1.4)
derive
(>=2.5 && <2.6)
directory
(>=1.0 && <1.2)
dlist
(>=0.5 && <0.6)
fclabels
(>=1.1 && <1.2)
filepath
(>=1.1 && <1.4)
HUnit
(>=1.2 && <1.3)
mtl
(>=2.0 && <2.1)
parallel
(>=3.2 && <3.3)
parsec
(>=3.1 && <3.2)
process
(>=1.1 && <1.2)
safe
(>=0.2 && <0.4)
syb
(>=0.3.3 && <0.4)
tamarin-prover-term
(>=0.8.2 && <0.9)
tamarin-prover-utils
(>=0.8.2 && <0.9)
time
(>=1.2 && <1.5)
transformers
(>=0.2 && <0.3)
uniplate
(>=1.6 && <1.7)