crux 0.10

Only display out-of-date packages.

2 Reverse deps	Accepted versions
copilot-verifier	>=0.7.1 && <0.8
crux-llvm	>=0.10 && <0.11