copilot-prettyprinter
3.15
Only display out-of-date packages.
3 Reverse deps
Accepted versions
copilot
>=3.15 && <3.16
copilot-interpreter
-any
copilot-theorem
>=3.15 && <3.16