summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterMerge PR #11446: Changed Gitlab CI runner tag for Windows to windows-inriaEmilio Jesus Gallego Arias33 hours
v8.10First commit after 8.10.2Vincent Laporte8 weeks
v8.11Remove the release flag.Pierre-Marie Pédrot7 hours
v8.2Adding support for OCaml 4.06.0 (option -unsafe-string needed).Hugo Herbelin2 years
v8.3Adding support for OCaml 4.06.0 (option -unsafe-string needed).Hugo Herbelin2 years
v8.5Updating CHANGES about critical VM and universes bug.Hugo Herbelin23 months
v8.6Updating CHANGES about critical VM and universes bug.Hugo Herbelin23 months
v8.7Merge PR #8199: Backport recent CI changes to v8.7.Théo Zimmermann17 months
v8.8Set Coq version to 8.8.2.Théo Zimmermann16 months
v8.9Merge PR #10650: ocaml 4.08 does not allow dynamic loading of already present...Hugo Herbelin5 months
[...]
 
TagDownloadAuthorAge
V8.11.0coq-8.11.0.zip  coq-8.11.0.tar.gz  coq-8.11.0.tar.bz2  Pierre-Marie Pédrot7 hours
V8.11+beta1coq-8.11+beta1.zip  coq-8.11+beta1.tar.gz  coq-8.11+beta1.tar.bz2  Pierre-Marie Pédrot7 weeks
V8.10.2coq-8.10.2.zip  coq-8.10.2.tar.gz  coq-8.10.2.tar.bz2  Vincent Laporte8 weeks
V8.12+alphacoq-8.12+alpha.zip  coq-8.12+alpha.tar.gz  coq-8.12+alpha.tar.bz2  Emilio Jesus Gallego Arias2 months
V8.10.1coq-8.10.1.zip  coq-8.10.1.tar.gz  coq-8.10.1.tar.bz2  Vincent Laporte3 months
V8.10.0coq-8.10.0.zip  coq-8.10.0.tar.gz  coq-8.10.0.tar.bz2  Vincent Laporte4 months
V8.10+beta3coq-8.10+beta3.zip  coq-8.10+beta3.tar.gz  coq-8.10+beta3.tar.bz2  Vincent Laporte4 months
V8.10+beta2coq-8.10+beta2.zip  coq-8.10+beta2.tar.gz  coq-8.10+beta2.tar.bz2  Vincent Laporte7 months
V8.9.1coq-8.9.1.zip  coq-8.9.1.tar.gz  coq-8.9.1.tar.bz2  Guillaume Melquiond8 months
V8.10+beta1coq-8.10+beta1.zip  coq-8.10+beta1.tar.gz  coq-8.10+beta1.tar.bz2  Vincent Laporte8 months
[...]
 
AgeCommit messageAuthor
33 hoursMerge PR #11446: Changed Gitlab CI runner tag for Windows to windows-inriamasterEmilio Jesus Gallego Arias
34 hoursChanged Gitlab CI runner tag for Windows to windows-inriarefs/pull/11446/headMichael Soegtrop
38 hoursMerge PR #11444: Minor tweaks to the 8.11 changelog.Pierre-Marie Pédrot
44 hoursMerge PR #11445: Clear patches folder before each windows build runThéo Zimmermann
44 hoursMore minor tweaks to the 8.11 changelog.refs/pull/11444/headThéo Zimmermann
45 hoursAdd missing 'and'.Théo Zimmermann
2 daysClear patches folder before each windows build runrefs/pull/11445/headMichael Soegtrop
2 daysMinor tweaks to the 8.11 changelog.Théo Zimmermann
2 daysMerge PR #11372: Changelog for 8.11.0.Pierre-Marie Pédrot
3 daysMerge PR #11438: [lint] Use makefile wrapper instead of calling dune command ...Théo Zimmermann
[...]
 
Clone
git://labdcc.fceia.unr.edu.ar/pub/mirrors/coq.git
git://github.com/coq/coq.git
https://github.com/coq/coq.git