lib:copilot
Modules
Dependencies
- base lib:base >=4.9 && <5
- copilot-c99 lib:copilot-c99 >=4.1 && <4.2
- copilot-core lib:copilot-core >=4.1 && <4.2
- copilot-language lib:copilot-language >=4.1 && <4.2
- copilot-libraries lib:copilot-libraries >=4.1 && <4.2
- copilot-prettyprinter lib:copilot-prettyprinter >=4.1 && <4.2
- copilot-theorem lib:copilot-theorem >=4.1 && <4.2
- directory lib:directory >=1.3 && <1.4
- filepath lib:filepath >=1.4 && <1.5
- optparse-applicative lib:optparse-applicative >=0.14 && <0.19
Reverse dependencies
Direct only. Not exhaustive.