Candidates for agda2train

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