Dependencies for sexpr-parser-0.2.2.0
Libraries
sexpr-parser
- base (>=4.9 && <5)
- data-default (>=0.6 && <0.8)
- megaparsec (>=6.5 && <9.3)
Executables
sexpr-parser-z3-demo
- base (>=4.9 && <5)
- bytestring (>=0.10 && <0.12)
- megaparsec (>=6.5 && <9.3)
- process (>=1.6 && <1.7)
- sexpr-parser