crux 0.7.1

Only display out-of-date packages.

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