summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterMerge PR #11255: Fix #11254: "coqtop --version" working even in the middle of...Emilio Jesus Gallego Arias3 hours
v8.10First commit after 8.10.2Vincent Laporte11 days
v8.11Backport PR #11165: [CI] Test latest artifacts of SF instead of the stable ve...Pierre-Marie Pédrot34 hours
v8.2Adding support for OCaml 4.06.0 (option -unsafe-string needed).Hugo Herbelin23 months
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 Herbelin22 months
v8.6Updating CHANGES about critical VM and universes bug.Hugo Herbelin22 months
v8.7Merge PR #8199: Backport recent CI changes to v8.7.Théo Zimmermann16 months
v8.8Set Coq version to 8.8.2.Théo Zimmermann14 months
v8.9Merge PR #10650: ocaml 4.08 does not allow dynamic loading of already present...Hugo Herbelin4 months
[...]
 
TagDownloadAuthorAge
V8.11+beta1coq-8.11+beta1.zip  coq-8.11+beta1.tar.gz  coq-8.11+beta1.tar.bz2  Pierre-Marie Pédrot4 days
V8.10.2coq-8.10.2.zip  coq-8.10.2.tar.gz  coq-8.10.2.tar.bz2  Vincent Laporte11 days
V8.12+alphacoq-8.12+alpha.zip  coq-8.12+alpha.tar.gz  coq-8.12+alpha.tar.bz2  Emilio Jesus Gallego Arias3 weeks
V8.10.1coq-8.10.1.zip  coq-8.10.1.tar.gz  coq-8.10.1.tar.bz2  Vincent Laporte7 weeks
V8.10.0coq-8.10.0.zip  coq-8.10.0.tar.gz  coq-8.10.0.tar.bz2  Vincent Laporte2 months
V8.10+beta3coq-8.10+beta3.zip  coq-8.10+beta3.tar.gz  coq-8.10+beta3.tar.bz2  Vincent Laporte3 months
V8.10+beta2coq-8.10+beta2.zip  coq-8.10+beta2.tar.gz  coq-8.10+beta2.tar.bz2  Vincent Laporte6 months
V8.9.1coq-8.9.1.zip  coq-8.9.1.tar.gz  coq-8.9.1.tar.bz2  Guillaume Melquiond7 months
V8.10+beta1coq-8.10+beta1.zip  coq-8.10+beta1.tar.gz  coq-8.10+beta1.tar.bz2  Vincent Laporte7 months
V8.11+alphacoq-8.11+alpha.zip  coq-8.11+alpha.tar.gz  coq-8.11+alpha.tar.bz2  Emilio Jesus Gallego Arias7 months
[...]
 
AgeCommit messageAuthor
3 hoursMerge PR #11255: Fix #11254: "coqtop --version" working even in the middle of...masterEmilio Jesus Gallego Arias
5 hoursFixes #11254 (not requiring coqlib to be set to report about coqtop version).refs/pull/11255/headHugo Herbelin
7 hoursMerge PR #10829: Section.t is never emptyPierre-Marie Pédrot
9 hoursMerge PR #11234: [ide] Don't use -linkall for the GUI app.Pierre-Marie Pédrot
12 hoursMerge PR #11256: [configure] [dune] Fix configure under Dune in 32bit builds.Théo Zimmermann
2 daysSection.t is never emptyrefs/pull/10829/headGaëtan Gilbert
2 days[configure] [dune] Fix configure under Dune in 32bit builds.refs/pull/11256/headEmilio Jesus Gallego Arias
2 daysMerge PR #11141: Moving the diversity of constr printers to a label styleEmilio Jesus Gallego Arias
3 daysAdding documentation in printer.mlirefs/pull/11141/headHugo Herbelin
3 daysAdding overlay for Quickchick PR#145.Hugo Herbelin
[...]
 
Clone
git://labdcc.fceia.unr.edu.ar/pub/mirrors/coq.git
git://github.com/coq/coq.git
https://github.com/coq/coq.git