copilot-prettyprinter
3.19
Only display out-of-date packages.
4 Reverse deps
Accepted versions
copilot
>=3.19 && <3.20
copilot-interpreter
-any
copilot-theorem
>=3.19 && <3.20
copilot-verifier
==3.19.*