summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterMerge PR #18947: deprecate Bvectorcoqbot-app[bot]4 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
generated by cgit v0.10.2-6-g49f6 at 2024-04-26 16:57:36 (GMT)