copilot-theorem 4.8

Only display out-of-date packages.

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