copilot-theorem 4.7

Only display out-of-date packages.

5 Reverse deps	Accepted versions
copilot	>=4.7 && <4.8
copilot-language	>=4.7 && <4.8
copilot-libraries	>=0
copilot-verifier	>=4.7 && <4.8
ogma-core	>=4.6.1 && <4.7