copilot-core
3.2
Only display out-of-date packages.
6 Reverse deps
Accepted versions
copilot
>=3.2 && <3.3
copilot-c99
==3.2.*
copilot-cbmc
>=2.2.1
copilot-language
>=3.2 && <3.3
copilot-sbv
==2.2.1
copilot-theorem
>=3.2 && <3.3