what4 1.1

Only display out-of-date packages.

2 Reverse deps	Accepted versions
copilot-theorem	>=1.0 && <1.1
cryptol	>=1.1 && <1.2