Home

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.