Dependencies for crux-0.7.2
Libraries
crux
- aeson (<2.3)
- ansi-terminal
- async
- attoparsec
- base (>=4 && <5)
- bv-sized (>=1.0.0)
- bytestring
- config-schema (>=1.2.2.0)
- config-value
- containers
- contravariant (>=1.5 && <1.6)
- crucible
- crucible-debug
- crucible-syntax
- directory
- filepath
- generic-lens
- Glob (>=0.10 && <0.11)
- lens
- libBF (>=0.6 && <0.7)
- lumberjack (>=1.0 && <1.1)
- parameterized-utils (>=1.0 && <2.2)
- prettyprinter (>=1.7.0)
- raw-strings-qq
- semigroupoids
- simple-get-opt (<0.5)
- split (>=0.2)
- terminal-size
- text
- time (>=1.9 && <2.0)
- vector (>=0.7)
- what4 (>=0.4.1)
- xml
- yaml (>=0.11 && <0.12)