Candidates for agda-server

No candidates exist for agda-server. Upload one for this or another package?