BNFC-meta 0.6

2 Reverse deps Accepted versions
nanoAgda ==0.3.*
uAgda ==0.2.*