copilot-core 3.1

Only display out-of-date packages.

6 Reverse deps	Accepted versions
copilot	>=3.1 && <3.2
copilot-c99	>=3.1 && <3.2
copilot-cbmc	>=2.2.1
copilot-language	>=3.1 && <3.2
copilot-sbv	==2.2.1
copilot-theorem	>=3.1 && <3.2