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