what4 1.6.2

Only display out-of-date packages.

8 Reverse deps	Accepted versions
copilot-theorem	>=1.3 && <1.7
copilot-verifier	>=1.6.1 && <1.7
crucible	>=1.6.1
crucible-llvm	>=0.4.1
crucible-symio	>=0
crux	>=0.4.1
crux-llvm	>=0
cryptol	>=1.4 && <1.7