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