Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
crux-llvm-0.8
library
aeson
base
(>=4.8 && <4.19)
bv-sized
bytestring
config-schema
(>=1.2.2.0)
containers
crucible
crucible-llvm
crucible-symio
crux
directory
filepath
lens
llvm-pretty
llvm-pretty-bc-parser
logict
mtl
parameterized-utils
prettyprinter
(>=1.7.0)
process
text
what4
crux-llvm
base
(>=4.8 && <4.19)
bytestring
containers
crucible
crucible-llvm
crucible-symio
crux
crux-llvm
directory
filepath
lens
process
text
what4
if
!os(windows)
unix
crux-llvm-for-ide
aeson
base
(>=4.8 && <4.19)
bytestring
containers
crucible
crucible-llvm
crucible-symio
crux
crux-llvm
directory
filepath
lens
lumberjack
process
text
websockets
(>=0.12)
what4
if
!os(windows)
unix
crux-llvm-svcomp
aeson
attoparsec
base
(>=4.8 && <4.19)
base16-bytestring
bytestring
containers
crucible
crucible-llvm
crucible-symio
crux
crux-llvm
cryptohash-sha256
directory
extra
filepath
indexed-traversable
lens
process
text
time
what4