equivalence 0.4.1.1

Only display out-of-date packages.

3 Reverse deps	Accepted versions
Agda	>=0.3.5 && <0.5
ecta	>=0.4.1
microecta	>=0.4 && <0.5