Dependencies for copilot-3.0
Libraries
copilot
- base (>=4.9 && <5)
- copilot-c99 (>=3.0 && <3.1)
- copilot-core (>=3.0 && <3.1)
- copilot-language (>=3.0 && <3.1)
- copilot-libraries (>=3.0 && <3.1)
- copilot-theorem (>=3.0 && <3.1)
- directory (>=1.3 && <1.4)
- filepath (>=1.4 && <1.5)
- optparse-applicative (>=0.14 && <0.15)