lp:~jgross-h/coq/+git/coq
- Get this repository:
-
git clone
https://git.launchpad.net/~jgross-h/coq/+git/coq
Import details
This repository is an import of the Git repository at https://github.com/coq/coq.git.
Last successful import was .
Updating repository...
Launchpad is processing new changes to this repository which will be available shortly. Reload to see the changes.
Branches
Name | Last Modified | Last Commit |
---|---|---|
master | 2024-05-10 23:03:28 UTC |
Merge PR #18628: More bitwise in Numbers.Natural.Abstract
Author:
coqbot-app[bot]
Merge PR #18628: More bitwise in Numbers. Reviewed-by: andres-erbsen |
v8.19 | 2024-05-06 11:06:34 UTC |
Backport PR #18991: Fix dependent evars line with defined evars
Author:
=?utf-8?q?Ga=C3=ABtan_Gilbert?=
Backport PR #18991: Fix dependent evars line with defined evars |
v8.17 | 2024-01-16 11:43:19 UTC |
Merge PR #18496: [v8.17] Backport PR #17638: Guard many unguarded `try..with`...
Author:
=?utf-8?q?Ga=C3=ABtan_Gilbert?=
Merge PR #18496: [v8.17] Backport PR #17638: Guard many unguarded `try..with` expressions Reviewed-by: SkySkimmer |
v8.18 | 2023-09-07 14:18:02 UTC |
Merge PR #18016: [release] bump version to 8.18.0
Author:
Enrico Tassi
Merge PR #18016: [release] bump version to 8.18.0 |
v8.5 | 2023-04-03 12:25:32 UTC |
v8.5: Fix CAMLP4DEPS invocation
Author:
=?utf-8?q?Ga=C3=ABtan_Gilbert?=
v8.5: Fix CAMLP4DEPS invocation The old one worked on bash but not eg debian dash (/bin/sh) |
v8.16 | 2022-11-25 12:14:13 UTC |
Unset the release flag.
Author:
=?utf-8?q?Pierre-Marie_P=C3=A9drot?=
Unset the release flag. |
v8.0 | 2022-08-27 10:49:52 UTC |
Merge PR #16349: [v8.0] Add support for `-h` and `--help` to configure
Author:
Jason Gross
Merge PR #16349: [v8.0] Add support for `-h` and `--help` to configure Reviewed-by: Alizter |
v8.7 | 2022-07-02 23:44:08 UTC |
Merge PR #16263: [v8.7] Backport #15271: Delay removing native_compute .ml fi...
Author:
Jason Gross
Merge PR #16263: [v8.7] Backport #15271: Delay removing native_compute .ml files until exit |
v8.6 | 2022-07-01 19:16:21 UTC |
Merge PR #16264: [v8.6] Backport #15271: Delay removing native_compute .ml fi...
Author:
Jason Gross
Merge PR #16264: [v8.6] Backport #15271: Delay removing native_compute .ml files until exit |
v8.13 | 2022-07-01 19:03:08 UTC |
Merge PR #16232: [v8.13] Backport #15271: Delay removing native_compute .ml f...
Author:
Jason Gross
Merge PR #16232: [v8.13] Backport #15271: Delay removing native_compute .ml files until exit |
v8.14 | 2022-07-01 19:02:25 UTC |
Merge PR #16231: [v8.14] Backport #15271: Delay removing native_compute .ml f...
Author:
Jason Gross
Merge PR #16231: [v8.14] Backport #15271: Delay removing native_compute .ml files until exit |
v8.15 | 2022-06-27 12:23:52 UTC |
Merge PR #16245: [v8.15] Put "v8.15" in CACHEKEY
Author:
=?utf-8?q?Ga=C3=ABtan_Gilbert?=
Merge PR #16245: [v8.15] Put "v8.15" in CACHEKEY |
v8.12 | 2022-06-23 20:20:48 UTC |
Merge PR #16233: [v8.12] Backport #15271: Delay removing native_compute .ml f...
Author:
Jason Gross
Merge PR #16233: [v8.12] Backport #15271: Delay removing native_compute .ml files until exit |
v8.11 | 2022-06-23 20:19:49 UTC |
Merge PR #16234: [v8.11] Backport #15271: Delay removing native_compute .ml f...
Author:
Jason Gross
Merge PR #16234: [v8.11] Backport #15271: Delay removing native_compute .ml files until exit |
v8.10 | 2022-06-23 20:18:41 UTC |
Merge PR #16235: [v8.10] Backport #15271: Delay removing native_compute .ml f...
Author:
Jason Gross
Merge PR #16235: [v8.10] Backport #15271: Delay removing native_compute .ml files until exit |
v8.9 | 2022-06-23 20:17:25 UTC |
Merge PR #16236: [v8.9] Backport #15271: Delay removing native_compute .ml fi...
Author:
Jason Gross
Merge PR #16236: [v8.9] Backport #15271: Delay removing native_compute .ml files until exit |
v8.8 | 2022-06-23 20:14:45 UTC |
Merge PR #16238: [v8.8] Backport #15271: Delay removing native_compute .ml fi...
Author:
Jason Gross
Merge PR #16238: [v8.8] Backport #15271: Delay removing native_compute .ml files until exit |
v8.2 | 2017-12-27 21:39:35 UTC |
Adding support for OCaml 4.06.0 (option -unsafe-string needed).
Author:
Hugo Herbelin
Adding support for OCaml 4.06.0 (option -unsafe-string needed). And other minor changes. Cherry-pick from v8.4 (7f2240f). |
v8.3 | 2017-12-09 15:41:18 UTC |
Adding support for OCaml 4.06.0 (option -unsafe-string needed).
Author:
Hugo Herbelin
Adding support for OCaml 4.06.0 (option -unsafe-string needed). And other minor changes. Cherry-pick from v8.4 (7f2240f). |
v8.4 | 2017-12-08 23:38:28 UTC |
Adding support for OCaml 4.06.0 (option -unsafe-string needed).
Author:
Hugo Herbelin
Adding support for OCaml 4.06.0 (option -unsafe-string needed). And other minor changes. |
v8.1 | 2016-04-28 08:17:30 UTC |
Minor patch to build Coq 8.1 on OS X (no native "cp --parent").
Author:
Timothy Bourke
Minor patch to build Coq 8.1 on OS X (no native "cp --parent"). Courtesy of Timothy Bourke. For the record, Jean-Marc Notin also fixed the issue at some time with |
1 → 21 of 21 results | First • Previous • Next • Last |