BNFC-meta 0.6.1

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