Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
crucible-llvm-0.6
library
attoparsec
base
(>=4.13 && <4.19)
bv-sized
(>=1.0.0)
bytestring
containers
(>=0.5.8.0)
crucible
(>=0.5)
crucible-symio
extra
itanium-abi
(>=0.1.1.1 && <0.2)
lens
llvm-pretty
(>=0.12 && <0.13)
mtl
parameterized-utils
(>=2.1.5 && <2.2)
pretty
prettyprinter
(>=1.7.0)
template-haskell
text
transformers
utf8-string
vector
what4
(>=0.4.1)