Candidates for hydra-coq

No candidates exist for hydra-coq. Upload one for this or another package?