The latest version of copilot is 4.0-0.
lib:copilot
Modules
Dependencies
- base lib:base >=4.9 && <5
- copilot-c99 lib:copilot-c99 >=3.20 && <3.21
- copilot-core lib:copilot-core >=3.20 && <3.21
- copilot-language lib:copilot-language >=3.20 && <3.21
- copilot-libraries lib:copilot-libraries >=3.20 && <3.21
- copilot-prettyprinter lib:copilot-prettyprinter >=3.20 && <3.21
- copilot-theorem lib:copilot-theorem >=3.20 && <3.21
- 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.