rme-what4 0.1.2

Only display out-of-date packages.

2 Reverse deps	Accepted versions
crux	^>=0.1
cryptol	^>=0.1