Released repository The repository for all the released packages. opam repo add coq-released https://coq.inria.fr/opam/released If you want to add your package, please do a pull-request to this repository.