Core-Dev repository

The repository for the development versions of Coq. Use it at your own risks.

opam repo add coq-core-dev https://coq.inria.fr/opam/core-dev

If you want to add your Coq version, please do a pull-request to this repository.