Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
The repository for stable Coq packages.
branch: master
Failed to load latest commit information.
packages 1.0.3, mac compatibility
.gitignore Ignore opam folders
Dockerfile Cosmetic
LICENSE License added
README.md Update README.md
version Initial commit, again

README.md

Coq Repository

The repository for stable Coq packages. Powered by OPAM.

Usage

Enable this repository:

opam repo add coq-stable https://github.com/coq/repo-stable.git

To install a package:

opam search coq:that-package
opam install coq:that-package

Publish

If you want to add your package, please do a pull-request to this repository. Read this tutorial to get an example.

Bench

The central place for benchmarks is Coq bench. We test different versions of Coq and machine configurations, and update the results as often as possible.

Something went wrong with that request. Please try again.