panic 0.4.0.1

Only display out-of-date packages.

7 Reverse deps	Accepted versions
bv-sized	>=0.4.0 && <0.5
copilot-theorem	>=0.4.0 && <0.5
copilot-verifier	>=0.3
crucible	>=0.3
cryptol	>=0.3
language-lustre	>=0
what4	>=0.3