equivalence 0.4.1

Only display out-of-date packages.

2 Reverse deps	Accepted versions
Agda	>=0.3.5 && <0.5
ecta	>=0.4.1