Candidates for mini-egison

No candidates exist for mini-egison. Upload one for this or another package?