Layout of the Coq Package Index
The archive is organized in the following OPAM repositories.
released
The repository contains packages for Coq and for Coq extensions that were officially released by the Coq team or their corresponding authors. All packages have a version number (i.e. no .dev packages). The repository is self contained. The repository is intended to be used by people familiar with the OPAM tool.
core-dev
The repository contains package for development versions of Coq. Typically .dev packages for Coq branches. The repository is self contained. The repository is intended to be used by developers only.
extra-dev
The repository contains packages for development versions of external
contributions to Coq. Typically .dev packages following the branches of the
extension. The repository is not self contained, i.e. a package may depend on
a development version of Coq part of the core-dev repository. The repository
is intended to be used by developers only.