Skip to content

Files

Latest commit

241c34f · Nov 8, 2015

History

History
This branch is 1 commit ahead of, 7490 commits behind coq/opam:master.

core-dev

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
Nov 8, 2015
Aug 5, 2015
Jun 27, 2015

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.