what4 1.4

Only display out-of-date packages.

2 Reverse deps	Accepted versions
copilot-theorem	>=1.3 && <1.5
cryptol	>=1.3 && <1.4