equivalence
0.4.1.1
Only display out-of-date packages.
4 Reverse deps
Accepted versions
Agda
>=0.3.5 && <0.5
ecta
>=0.4.1
microecta
>=0.4 && <0.5
moonlight-core
>=0.4