BNFC-meta
0.6.1
Only display out-of-date packages.
2 Reverse deps
Accepted versions
nanoAgda
>=0.3 && <0.4
uAgda
>=0.2 && <0.3