BNFC-meta 0.4.0.3

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