copilot-core 3.13

Only display out-of-date packages.

8 Reverse deps	Accepted versions
copilot	==3.13.*
copilot-c99	>=3.13 && <3.14
copilot-cbmc	>=2.2.1
copilot-interpreter	==3.13.*
copilot-language	==3.13.*
copilot-prettyprinter	>=3.13 && <3.14
copilot-sbv	==2.2.1
copilot-theorem	>=3.13 && <3.14