equivalence
0.3.5
Only display out-of-date packages.
1 Reverse dep
Accepted versions
Agda
>=0.3.2 && <0.4