what4 1.3

Only display out-of-date packages.

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