summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
macos-binary-8.11.1Tweak the OCaml version used to generate the MacOS package.Pierre-Marie Pédrot2 days
masterMerge PR #12044: proposed fix for the issue #12015 (String_as_OT)Jason Gross5 hours
v8.10First commit after 8.10.2Vincent Laporte4 months
v8.11Merge PR #12019: Unset the release flag.Pierre-Marie Pédrot3 days
v8.2Adding support for OCaml 4.06.0 (option -unsafe-string needed).Hugo Herbelin2 years
v8.5Updating CHANGES about critical VM and universes bug.Hugo Herbelin2 years
v8.6Updating CHANGES about critical VM and universes bug.Hugo Herbelin2 years
v8.7Merge PR #8199: Backport recent CI changes to v8.7.Théo Zimmermann20 months
v8.8Set Coq version to 8.8.2.Théo Zimmermann18 months
v8.9Merge PR #10650: ocaml 4.08 does not allow dynamic loading of already present...Hugo Herbelin7 months
[...]
 
TagDownloadAuthorAge
V8.11.1coq-8.11.1.zip  coq-8.11.1.tar.gz  coq-8.11.1.tar.bz2  Pierre-Marie Pédrot5 days
V8.11.0coq-8.11.0.zip  coq-8.11.0.tar.gz  coq-8.11.0.tar.bz2  Pierre-Marie Pédrot2 months
V8.11+beta1coq-8.11+beta1.zip  coq-8.11+beta1.tar.gz  coq-8.11+beta1.tar.bz2  Pierre-Marie Pédrot4 months
V8.10.2coq-8.10.2.zip  coq-8.10.2.tar.gz  coq-8.10.2.tar.bz2  Vincent Laporte4 months
V8.12+alphacoq-8.12+alpha.zip  coq-8.12+alpha.tar.gz  coq-8.12+alpha.tar.bz2  Emilio Jesus Gallego Arias5 months
V8.10.1coq-8.10.1.zip  coq-8.10.1.tar.gz  coq-8.10.1.tar.bz2  Vincent Laporte5 months
V8.10.0coq-8.10.0.zip  coq-8.10.0.tar.gz  coq-8.10.0.tar.bz2  Vincent Laporte6 months
V8.10+beta3coq-8.10+beta3.zip  coq-8.10+beta3.tar.gz  coq-8.10+beta3.tar.bz2  Vincent Laporte7 months
V8.10+beta2coq-8.10+beta2.zip  coq-8.10+beta2.tar.gz  coq-8.10+beta2.tar.bz2  Vincent Laporte10 months
V8.9.1coq-8.9.1.zip  coq-8.9.1.tar.gz  coq-8.9.1.tar.bz2  Guillaume Melquiond11 months
[...]
 
AgeCommit messageAuthor
2 daysTweak the OCaml version used to generate the MacOS package.macos-binary-8.11.1Pierre-Marie Pédrot
5 daysMerge PR #12017: Release 8.11.1V8.11.1Pierre-Marie Pédrot
5 daysMark this commit as a released version.refs/pull/12017/headPierre-Marie Pédrot
5 daysBump the version number to 8.11.1.Pierre-Marie Pédrot
5 daysMerge PR #12013: Tweak #11306 for the 8.11 branch.Pierre-Marie Pédrot
5 daysTweak #11306 for the 8.11 branch.refs/pull/12013/headPierre-Marie Pédrot
6 daysBackport PR #12009: Adding changelog for 8.11.1.Pierre-Marie Pédrot
6 daysAdding changelog for 8.11.1.Pierre-Marie Pédrot
6 daysMerge PR #11995: Enable Async proofs using `Set Default Proof` annotationsPierre-Marie Pédrot
7 daysBackport PR #11945: Fix #11941: anomaly in equality schemesPierre-Marie Pédrot
[...]
 
Clone
git://labdcc.fceia.unr.edu.ar/pub/mirrors/coq.git
git://github.com/coq/coq.git
https://github.com/coq/coq.git