The repository for the development packages. Use it at your own risks.
opam repo add coq-released https://coq.inria.fr/opam/released
opam repo add coq-extra-dev https://coq.inria.fr/opam/extra-dev
If you want to add your package, please do a pull-request to this repository.