exe:crux-llvm-for-ide
Dependencies
- aeson lib:aeson >=0
- base lib:base >=4.8 && <4.20
- bytestring lib:bytestring >=0
- containers lib:containers >=0
- crucible lib:crucible >=0
- crucible-llvm lib:crucible-llvm >=0
- crucible-symio lib:crucible-symio >=0
- crux lib:crux >=0
- crux-llvm lib:crux-llvm >=0
- directory lib:directory >=0
- filepath lib:filepath >=0
- lens lib:lens >=0
- lumberjack lib:lumberjack >=0
- process lib:process >=0
- text lib:text >=0
- unix lib:unix >=0
- websockets lib:websockets >=0.12
- what4 lib:what4 >=0
Reverse dependencies
None.