what4 1.2.1

Only display out-of-date packages.

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