Candidates for nanoAgda

No candidates exist for nanoAgda. Upload one for this or another package?