Dependencies for crux-llvm-0.10
Libraries
crux-llvm
- aeson
- base (>=4.8 && <4.20)
- 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 (>=0.5)
- logict
- mtl
- parameterized-utils
- prettyprinter (>=1.7.0)
- process
- text
- what4
Executables
crux-llvm
- base (>=4.8 && <4.20)
- bytestring
- containers
- crucible
- crucible-llvm
- crucible-symio
- crux
- crux-llvm
- directory
- filepath
- lens
- process
- text
- what4
- if !os(windows)
crux-llvm-for-ide
- aeson
- base (>=4.8 && <4.20)
- bytestring
- containers
- crucible
- crucible-llvm
- crucible-symio
- crux
- crux-llvm
- directory
- filepath
- lens
- lumberjack
- process
- text
- websockets (>=0.12)
- what4
- if !os(windows)