The latest version of copilot is 4.1-0.
exe:clock
Dependencies
- base lib:base >=4.9 && <5
- copilot lib:copilot >=0
- copilot-core lib:copilot-core >=0
- copilot-libraries lib:copilot-libraries >=0
- copilot-theorem lib:copilot-theorem >=0
Reverse dependencies
None.