Candidates for Agda-executable

No candidates exist for Agda-executable. Upload one for this or another package?