Dependencies for crucible-llvm-0.7.1
Libraries
crucible-llvm
- attoparsec
- base (>=4.13 && <4.20)
- 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.1 && <0.14)
- mtl
- parameterized-utils (>=2.1.5 && <2.2)
- pretty
- prettyprinter (>=1.7.0)
- template-haskell
- text
- transformers
- utf8-string
- vector
- what4 (>=1.7)