summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterMerge PR #18947: deprecate Bvectorcoqbot-app[bot]45 hours
v8.0Merge PR #16349: [v8.0] Add support for `-h` and `--help` to configureJason Gross20 months
v8.1Minor patch to build Coq 8.1 on OS X (no native "cp --parent").Timothy Bourke8 years
v8.10Merge PR #16235: [v8.10] Backport #15271: Delay removing native_compute .ml f...Jason Gross22 months
v8.11Merge PR #16234: [v8.11] Backport #15271: Delay removing native_compute .ml f...Jason Gross22 months
v8.12Merge PR #16233: [v8.12] Backport #15271: Delay removing native_compute .ml f...Jason Gross22 months
v8.13Merge PR #16232: [v8.13] Backport #15271: Delay removing native_compute .ml f...Jason Gross22 months
v8.14Merge PR #16231: [v8.14] Backport #15271: Delay removing native_compute .ml f...Jason Gross22 months
v8.15Merge PR #16245: [v8.15] Put "v8.15" in CACHEKEYGaëtan Gilbert22 months
v8.16Unset the release flag.Pierre-Marie Pédrot17 months
v8.17Merge PR #18496: [v8.17] Backport PR #17638: Guard many unguarded `try..with`...Gaëtan Gilbert3 months
v8.18Merge PR #18016: [release] bump version to 8.18.0Enrico Tassi8 months
v8.19Set version number to 8.19.1Gaëtan Gilbert8 weeks
v8.2Adding support for OCaml 4.06.0 (option -unsafe-string needed).Hugo Herbelin6 years
v8.3Adding support for OCaml 4.06.0 (option -unsafe-string needed).Hugo Herbelin6 years
v8.4Adding support for OCaml 4.06.0 (option -unsafe-string needed).Hugo Herbelin6 years
v8.5v8.5: Fix CAMLP4DEPS invocationGaëtan Gilbert13 months
v8.6Merge PR #16264: [v8.6] Backport #15271: Delay removing native_compute .ml fi...Jason Gross22 months
v8.7Merge PR #16263: [v8.7] Backport #15271: Delay removing native_compute .ml fi...Jason Gross22 months
v8.8Merge PR #16238: [v8.8] Backport #15271: Delay removing native_compute .ml fi...Jason Gross22 months
v8.9Merge PR #16236: [v8.9] Backport #15271: Delay removing native_compute .ml fi...Jason Gross22 months
 
TagDownloadAuthorAge
V8.19.1coq-8.19.1.zip  coq-8.19.1.tar.gz  coq-8.19.1.tar.bz2  Gaëtan Gilbert8 weeks
V8.19.0coq-8.19.0.zip  coq-8.19.0.tar.gz  coq-8.19.0.tar.bz2  Gaëtan Gilbert3 months
V8.19+rc1coq-8.19+rc1.zip  coq-8.19+rc1.tar.gz  coq-8.19+rc1.tar.bz2  Gaëtan Gilbert4 months
V8.20+alphacoq-8.20+alpha.zip  coq-8.20+alpha.tar.gz  coq-8.20+alpha.tar.bz2  Gaëtan Gilbert5 months
V8.18.0coq-8.18.0.zip  coq-8.18.0.tar.gz  coq-8.18.0.tar.bz2  Enrico Tassi8 months
V8.18+rc1coq-8.18+rc1.zip  coq-8.18+rc1.tar.gz  coq-8.18+rc1.tar.bz2  Enrico Tassi9 months
V8.19+alphacoq-8.19+alpha.zip  coq-8.19+alpha.tar.gz  coq-8.19+alpha.tar.bz2  Enrico Tassi10 months
V8.17.1coq-8.17.1.zip  coq-8.17.1.tar.gz  coq-8.17.1.tar.bz2  Théo Zimmermann10 months
V8.17.0coq-8.17.0.zip  coq-8.17.0.tar.gz  coq-8.17.0.tar.bz2  Théo Zimmermann13 months
V8.17+rc1coq-8.17+rc1.zip  coq-8.17+rc1.tar.gz  coq-8.17+rc1.tar.bz2  Théo Zimmermann16 months
V8.16.1coq-8.16.1.zip  coq-8.16.1.tar.gz  coq-8.16.1.tar.bz2  Pierre-Marie Pédrot17 months
V8.18+alphacoq-8.18+alpha.zip  coq-8.18+alpha.tar.gz  coq-8.18+alpha.tar.bz2  Théo Zimmermann17 months
V8.16.0coq-8.16.0.zip  coq-8.16.0.tar.gz  coq-8.16.0.tar.bz2  Pierre-Marie Pédrot20 months
V8.16+rc1coq-8.16+rc1.zip  coq-8.16+rc1.tar.gz  coq-8.16+rc1.tar.bz2  Pierre-Marie Pédrot23 months
V8.15.2coq-8.15.2.zip  coq-8.15.2.tar.gz  coq-8.15.2.tar.bz2  Gaëtan Gilbert23 months
V8.17+alphacoq-8.17+alpha.zip  coq-8.17+alpha.tar.gz  coq-8.17+alpha.tar.bz2  Pierre-Marie Pédrot23 months
V8.15.1coq-8.15.1.zip  coq-8.15.1.tar.gz  coq-8.15.1.tar.bz2  Gaëtan Gilbert2 years
V8.15.0coq-8.15.0.zip  coq-8.15.0.tar.gz  coq-8.15.0.tar.bz2  Gaëtan Gilbert2 years
V8.15+rc1coq-8.15+rc1.zip  coq-8.15+rc1.tar.gz  coq-8.15+rc1.tar.bz2  Gaëtan Gilbert2 years
V8.14.1coq-8.14.1.zip  coq-8.14.1.tar.gz  coq-8.14.1.tar.bz2  Guillaume Melquiond2 years
V8.16+alphacoq-8.16+alpha.zip  coq-8.16+alpha.tar.gz  coq-8.16+alpha.tar.bz2  Gaëtan Gilbert2 years
V8.14.0coq-8.14.0.zip  coq-8.14.0.tar.gz  coq-8.14.0.tar.bz2  Guillaume Melquiond3 years
V8.14+rc1coq-8.14+rc1.zip  coq-8.14+rc1.tar.gz  coq-8.14+rc1.tar.bz2  Guillaume Melquiond3 years
V8.15+alphacoq-8.15+alpha.zip  coq-8.15+alpha.tar.gz  coq-8.15+alpha.tar.bz2  Guillaume Melquiond3 years
V8.13.2coq-8.13.2.zip  coq-8.13.2.tar.gz  coq-8.13.2.tar.bz2  Enrico Tassi3 years
V8.13.1coq-8.13.1.zip  coq-8.13.1.tar.gz  coq-8.13.1.tar.bz2  Enrico Tassi3 years
V8.13.0coq-8.13.0.zip  coq-8.13.0.tar.gz  coq-8.13.0.tar.bz2  Enrico Tassi3 years
V8.12.2coq-8.12.2.zip  coq-8.12.2.tar.gz  coq-8.12.2.tar.bz2  Théo Zimmermann3 years
V8.13+beta1coq-8.13+beta1.zip  coq-8.13+beta1.tar.gz  coq-8.13+beta1.tar.bz2  Enrico Tassi3 years
V8.14+alphacoq-8.14+alpha.zip  coq-8.14+alpha.tar.gz  coq-8.14+alpha.tar.bz2  Enrico Tassi3 years
V8.12.1coq-8.12.1.zip  coq-8.12.1.tar.gz  coq-8.12.1.tar.bz2  Théo Zimmermann3 years
V8.12.0coq-8.12.0.zip  coq-8.12.0.tar.gz  coq-8.12.0.tar.bz2  Théo Zimmermann4 years
V8.12+beta1coq-8.12+beta1.zip  coq-8.12+beta1.tar.gz  coq-8.12+beta1.tar.bz2  Théo Zimmermann4 years
V8.13+alphacoq-8.13+alpha.zip  coq-8.13+alpha.tar.gz  coq-8.13+alpha.tar.bz2  Enrico Tassi4 years
V8.11.2coq-8.11.2.zip  coq-8.11.2.tar.gz  coq-8.11.2.tar.bz2  Pierre-Marie Pédrot4 years
V8.11.1coq-8.11.1.zip  coq-8.11.1.tar.gz  coq-8.11.1.tar.bz2  Pierre-Marie Pédrot4 years
V8.11.0coq-8.11.0.zip  coq-8.11.0.tar.gz  coq-8.11.0.tar.bz2  Pierre-Marie Pédrot4 years
V8.11+beta1coq-8.11+beta1.zip  coq-8.11+beta1.tar.gz  coq-8.11+beta1.tar.bz2  Pierre-Marie Pédrot4 years
V8.10.2coq-8.10.2.zip  coq-8.10.2.tar.gz  coq-8.10.2.tar.bz2  Vincent Laporte4 years
V8.12+alphacoq-8.12+alpha.zip  coq-8.12+alpha.tar.gz  coq-8.12+alpha.tar.bz2  Emilio Jesus Gallego Arias4 years
V8.10.1coq-8.10.1.zip  coq-8.10.1.tar.gz  coq-8.10.1.tar.bz2  Vincent Laporte5 years
V8.10.0coq-8.10.0.zip  coq-8.10.0.tar.gz  coq-8.10.0.tar.bz2  Vincent Laporte5 years
V8.10+beta3coq-8.10+beta3.zip  coq-8.10+beta3.tar.gz  coq-8.10+beta3.tar.bz2  Vincent Laporte5 years
V8.10+beta2coq-8.10+beta2.zip  coq-8.10+beta2.tar.gz  coq-8.10+beta2.tar.bz2  Vincent Laporte5 years
V8.9.1coq-8.9.1.zip  coq-8.9.1.tar.gz  coq-8.9.1.tar.bz2  Guillaume Melquiond5 years
V8.10+beta1coq-8.10+beta1.zip  coq-8.10+beta1.tar.gz  coq-8.10+beta1.tar.bz2  Vincent Laporte5 years
V8.11+alphacoq-8.11+alpha.zip  coq-8.11+alpha.tar.gz  coq-8.11+alpha.tar.bz2  Emilio Jesus Gallego Arias5 years
V8.9.0coq-8.9.0.zip  coq-8.9.0.tar.gz  coq-8.9.0.tar.bz2  Guillaume Melquiond5 years
V8.9+beta1coq-8.9+beta1.zip  coq-8.9+beta1.tar.gz  coq-8.9+beta1.tar.bz2  Guillaume Melquiond5 years
V8.9+alphacoq-8.9+alpha.zip  coq-8.9+alpha.tar.gz  coq-8.9+alpha.tar.bz2  Emilio Jesus Gallego Arias6 years
V8.10+alphacoq-8.10+alpha.zip  coq-8.10+alpha.tar.gz  coq-8.10+alpha.tar.bz2  Emilio Jesus Gallego Arias6 years
V8.8.2coq-8.8.2.zip  coq-8.8.2.tar.gz  coq-8.8.2.tar.bz2  Théo Zimmermann6 years
V8.8.1coq-8.8.1.zip  coq-8.8.1.tar.gz  coq-8.8.1.tar.bz2  Théo Zimmermann6 years
V8.8.0coq-8.8.0.zip  coq-8.8.0.tar.gz  coq-8.8.0.tar.bz2  Maxime Dénès6 years
V8.8+beta1coq-8.8+beta1.zip  coq-8.8+beta1.tar.gz  coq-8.8+beta1.tar.bz2  Maxime Dénès6 years
V8.7.2coq-8.7.2.zip  coq-8.7.2.tar.gz  coq-8.7.2.tar.bz2  Théo Zimmermann6 years
V8.7.1coq-8.7.1.zip  coq-8.7.1.tar.gz  coq-8.7.1.tar.bz2  Théo Zimmermann6 years
V8.8+alphacoq-8.8+alpha.zip  coq-8.8+alpha.tar.gz  coq-8.8+alpha.tar.bz2  Théo Zimmermann6 years
V8.7.0coq-8.7.0.zip  coq-8.7.0.tar.gz  coq-8.7.0.tar.bz2  Maxime Dénès7 years
V8.7+beta2coq-8.7+beta2.zip  coq-8.7+beta2.tar.gz  coq-8.7+beta2.tar.bz2  Maxime Dénès7 years
V8.7+beta1coq-8.7+beta1.zip  coq-8.7+beta1.tar.gz  coq-8.7+beta1.tar.bz2  Maxime Dénès7 years
V8.6.1coq-8.6.1.zip  coq-8.6.1.tar.gz  coq-8.6.1.tar.bz2  Maxime Dénès7 years
V8.6coq-8.6.zip  coq-8.6.tar.gz  coq-8.6.tar.bz2  Maxime Dénès7 years
V8.6rc1coq-8.6rc1.zip  coq-8.6rc1.tar.gz  coq-8.6rc1.tar.bz2  Maxime Dénès7 years
V8.6beta1coq-8.6beta1.zip  coq-8.6beta1.tar.gz  coq-8.6beta1.tar.bz2  Maxime Dénès7 years
V8.5pl3coq-8.5pl3.zip  coq-8.5pl3.tar.gz  coq-8.5pl3.tar.bz2  Maxime Dénès8 years
V8.5pl2coq-8.5pl2.zip  coq-8.5pl2.tar.gz  coq-8.5pl2.tar.bz2  Maxime Dénès8 years
V8.7+alphacoq-8.7+alpha.zip  coq-8.7+alpha.tar.gz  coq-8.7+alpha.tar.bz2  Matej Kosik8 years
V8.5pl1coq-8.5pl1.zip  coq-8.5pl1.tar.gz  coq-8.5pl1.tar.bz2  Nickolai Zeldovich8 years
V8.5coq-8.5.zip  coq-8.5.tar.gz  coq-8.5.tar.bz2  Maxime Dénès8 years
V8.5rc1coq-8.5rc1.zip  coq-8.5rc1.tar.gz  coq-8.5rc1.tar.bz2  Hugo Herbelin8 years
V8.5beta3coq-8.5beta3.zip  coq-8.5beta3.tar.gz  coq-8.5beta3.tar.bz2  Maxime Dénès8 years
V8.5beta2coq-8.5beta2.zip  coq-8.5beta2.tar.gz  coq-8.5beta2.tar.bz2  Matthieu Sozeau9 years
V8.4pl6coq-8.4pl6.zip  coq-8.4pl6.tar.gz  coq-8.4pl6.tar.bz2  Pierre Letouzey9 years
V8.5beta1coq-8.5beta1.zip  coq-8.5beta1.tar.gz  coq-8.5beta1.tar.bz2  Maxime Dénès9 years
V8.4pl5coq-8.4pl5.zip  coq-8.4pl5.tar.gz  coq-8.4pl5.tar.bz2  Maxime Dénès10 years
V8.4pl4coq-8.4pl4.zip  coq-8.4pl4.tar.gz  coq-8.4pl4.tar.bz2  Pierre Boutillier10 years
V8.4pl3coq-8.4pl3.zip  coq-8.4pl3.tar.gz  coq-8.4pl3.tar.bz2  Arnaud Spiwack10 years
V8.4pl1coq-8.4pl1.zip  coq-8.4pl1.tar.gz  coq-8.4pl1.tar.bz2  Pierre Letouzey10 years
V8.4pl2coq-8.4pl2.zip  coq-8.4pl2.tar.gz  coq-8.4pl2.tar.bz2  Pierre Letouzey10 years
V8.4rc1coq-8.4rc1.zip  coq-8.4rc1.tar.gz  coq-8.4rc1.tar.bz2  Pierre Letouzey10 years
V8.2beta3coq-8.2beta3.zip  coq-8.2beta3.tar.gz  coq-8.2beta3.tar.bz2  Pierre Letouzey10 years
V8.2beta4coq-8.2beta4.zip  coq-8.2beta4.tar.gz  coq-8.2beta4.tar.bz2  Pierre Letouzey10 years
V8.2pl1coq-8.2pl1.zip  coq-8.2pl1.tar.gz  coq-8.2pl1.tar.bz2  Pierre Letouzey10 years
V8.2pl2coq-8.2pl2.zip  coq-8.2pl2.tar.gz  coq-8.2pl2.tar.bz2  Pierre Letouzey10 years
V8.2pl3coq-8.2pl3.zip  coq-8.2pl3.tar.gz  coq-8.2pl3.tar.bz2  Pierre Letouzey10 years
V8.2rc1coq-8.2rc1.zip  coq-8.2rc1.tar.gz  coq-8.2rc1.tar.bz2  Pierre Letouzey10 years
V8.2rc2coq-8.2rc2.zip  coq-8.2rc2.tar.gz  coq-8.2rc2.tar.bz2  Pierre Letouzey10 years
V8.3coq-8.3.zip  coq-8.3.tar.gz  coq-8.3.tar.bz2  Pierre Letouzey10 years
V8.3-beta0coq-8.3-beta0.zip  coq-8.3-beta0.tar.gz  coq-8.3-beta0.tar.bz2  Pierre Letouzey10 years
V8.3-rc1coq-8.3-rc1.zip  coq-8.3-rc1.tar.gz  coq-8.3-rc1.tar.bz2  Pierre Letouzey10 years
V8.3pl1coq-8.3pl1.zip  coq-8.3pl1.tar.gz  coq-8.3pl1.tar.bz2  Pierre Letouzey10 years
V8.3pl2coq-8.3pl2.zip  coq-8.3pl2.tar.gz  coq-8.3pl2.tar.bz2  Pierre Letouzey10 years
V8.3pl3coq-8.3pl3.zip  coq-8.3pl3.tar.gz  coq-8.3pl3.tar.bz2  Pierre Letouzey10 years
V8.3pl4coq-8.3pl4.zip  coq-8.3pl4.tar.gz  coq-8.3pl4.tar.bz2  Pierre Letouzey10 years
V8.3pl5coq-8.3pl5.zip  coq-8.3pl5.tar.gz  coq-8.3pl5.tar.bz2  Pierre Letouzey10 years
V8.4coq-8.4.zip  coq-8.4.tar.gz  coq-8.4.tar.bz2  Pierre Letouzey10 years
V8.4betacoq-8.4beta.zip  coq-8.4beta.tar.gz  coq-8.4beta.tar.bz2  Pierre Letouzey10 years
V8.4beta2coq-8.4beta2.zip  coq-8.4beta2.tar.gz  coq-8.4beta2.tar.bz2  Pierre Letouzey10 years
V8.0pl4coq-8.0pl4.zip  coq-8.0pl4.tar.gz  coq-8.0pl4.tar.bz2  Pierre Letouzey10 years
V8.1coq-8.1.zip  coq-8.1.tar.gz  coq-8.1.tar.bz2  Pierre Letouzey10 years
V8.1-APPcoq-8.1-APP.zip  coq-8.1-APP.tar.gz  coq-8.1-APP.tar.bz2  Pierre Letouzey10 years
V8.1betacoq-8.1beta.zip  coq-8.1beta.tar.gz  coq-8.1beta.tar.bz2  Pierre Letouzey10 years
V8.1gammacoq-8.1gamma.zip  coq-8.1gamma.tar.gz  coq-8.1gamma.tar.bz2  Pierre Letouzey10 years
V8.1pl1coq-8.1pl1.zip  coq-8.1pl1.tar.gz  coq-8.1pl1.tar.bz2  Pierre Letouzey10 years
V8.1pl2coq-8.1pl2.zip  coq-8.1pl2.tar.gz  coq-8.1pl2.tar.bz2  Pierre Letouzey10 years
V8.1pl3coq-8.1pl3.zip  coq-8.1pl3.tar.gz  coq-8.1pl3.tar.bz2  Pierre Letouzey10 years
V8.1pl4coq-8.1pl4.zip  coq-8.1pl4.tar.gz  coq-8.1pl4.tar.bz2  Pierre Letouzey10 years
V8.1pl5coq-8.1pl5.zip  coq-8.1pl5.tar.gz  coq-8.1pl5.tar.bz2  Pierre Letouzey10 years
V8.1pl6coq-8.1pl6.zip  coq-8.1pl6.tar.gz  coq-8.1pl6.tar.bz2  Pierre Letouzey10 years
V8.1pre-betacoq-8.1pre-beta.zip  coq-8.1pre-beta.tar.gz  coq-8.1pre-beta.tar.bz2  Pierre Letouzey10 years
V8.2coq-8.2.zip  coq-8.2.tar.gz  coq-8.2.tar.bz2  Pierre Letouzey10 years
V8.2-1coq-8.2-1.zip  coq-8.2-1.tar.gz  coq-8.2-1.tar.bz2  Pierre Letouzey10 years
V8.2alphacoq-8.2alpha.zip  coq-8.2alpha.tar.gz  coq-8.2alpha.tar.bz2  Pierre Letouzey10 years
V8.2betacoq-8.2beta.zip  coq-8.2beta.tar.gz  coq-8.2beta.tar.bz2  Pierre Letouzey10 years
V8.2beta2coq-8.2beta2.zip  coq-8.2beta2.tar.gz  coq-8.2beta2.tar.bz2  Pierre Letouzey10 years
V7-0beta2coq-7-0beta2.zip  coq-7-0beta2.tar.gz  coq-7-0beta2.tar.bz2  Pierre Letouzey10 years
V7-0beta3-ocaml3-01coq-7-0beta3-ocaml3-01.zip  coq-7-0beta3-ocaml3-01.tar.gz  coq-7-0beta3-ocaml3-01.tar.bz2  Pierre Letouzey10 years
V7-0beta4coq-7-0beta4.zip  coq-7-0beta4.tar.gz  coq-7-0beta4.tar.bz2  Pierre Letouzey10 years
V7-1coq-7-1.zip  coq-7-1.tar.gz  coq-7-1.tar.bz2  Pierre Letouzey10 years
V7-2coq-7-2.zip  coq-7-2.tar.gz  coq-7-2.tar.bz2  Pierre Letouzey10 years
V7-3coq-7-3.zip  coq-7-3.tar.gz  coq-7-3.tar.bz2  Pierre Letouzey10 years
V7-3-1coq-7-3-1.zip  coq-7-3-1.tar.gz  coq-7-3-1.tar.bz2  Pierre Letouzey10 years
V7-4coq-7-4.zip  coq-7-4.tar.gz  coq-7-4.tar.bz2  Pierre Letouzey10 years
V8-0coq-8-0.zip  coq-8-0.tar.gz  coq-8-0.tar.bz2  Pierre Letouzey10 years
V8-0betacoq-8-0beta.zip  coq-8-0beta.tar.gz  coq-8-0beta.tar.bz2  Pierre Letouzey10 years
V8-0cdromcoq-8-0cdrom.zip  coq-8-0cdrom.tar.gz  coq-8-0cdrom.tar.bz2  Pierre Letouzey10 years
V8-0pl1coq-8-0pl1.zip  coq-8-0pl1.tar.gz  coq-8-0pl1.tar.bz2  Pierre Letouzey10 years
V8-0pl2coq-8-0pl2.zip  coq-8-0pl2.tar.gz  coq-8-0pl2.tar.bz2  Pierre Letouzey10 years
V8-0pl3coq-8-0pl3.zip  coq-8-0pl3.tar.gz  coq-8-0pl3.tar.bz2  Pierre Letouzey10 years
V8.0-APPcoq-8.0-APP.zip  coq-8.0-APP.tar.gz  coq-8.0-APP.tar.bz2  Pierre Letouzey10 years
V7-0coq-7-0.zip  coq-7-0.tar.gz  coq-7-0.tar.bz2  Pierre Letouzey10 years
V7-0betacoq-7-0beta.zip  coq-7-0beta.tar.gz  coq-7-0beta.tar.bz2  Pierre Letouzey10 years
generated by cgit v0.10.2-6-g49f6 at 2024-04-28 09:13:47 (GMT)