equivalence 0.3.5

Only display out-of-date packages.

1 Reverse dep	Accepted versions
Agda	>=0.3.2 && <0.4