Coq

lp:~jgross-h/coq/+git/coq

  1. Git
  2. lp:~jgross-h/coq/+git/coq
Owned by Jason Gross
Get this repository:
git clone https://git.launchpad.net/~jgross-h/coq/+git/coq

Import details

Import Status: Reviewed

This repository is an import of the Git repository at https://github.com/coq/coq.git.

The next import is scheduled to run .

Last successful import was .

Import started on juju-98ee42-prod-launchpad-codeimport-5 and finished taking 3 minutes — see the log
Import started on juju-98ee42-prod-launchpad-codeimport-0 and finished taking 5 minutes — see the log
Import started on juju-98ee42-prod-launchpad-codeimport-5 and finished taking 6 minutes — see the log
Import started on juju-98ee42-prod-launchpad-codeimport-0 and finished taking 5 minutes — see the log
Import started on juju-98ee42-prod-launchpad-codeimport-5 and finished taking 1 hour — see the log
Import started on juju-98ee42-prod-launchpad-codeimport-5 and finished taking 6 minutes — see the log
Import started on juju-98ee42-prod-launchpad-codeimport-5 and finished taking 3 minutes — see the log
Import started on juju-98ee42-prod-launchpad-codeimport-0 and finished taking 6 minutes — see the log
Import started on juju-98ee42-prod-launchpad-codeimport-5 and finished taking 1 hour — see the log
Import started on juju-98ee42-prod-launchpad-codeimport-5 and finished taking 1 hour — see the log

Branches

Name Last Modified Last Commit
master 2024-04-15 23:03:40 UTC
Merge PR #18888: Use gitlab.inria.fr shared runners for docker boot

Author: coqbot-app[bot]
Author Date: 2024-04-15 23:03:40 UTC

Merge PR #18888: Use gitlab.inria.fr shared runners for docker boot

Reviewed-by: ejgallego
Co-authored-by: ejgallego <ejgallego@users.noreply.github.com>
v8.19 2024-03-01 12:32:10 UTC
Set version number to 8.19.1

Author: =?utf-8?q?Ga=C3=ABtan_Gilbert?=
Author Date: 2024-03-01 12:32:10 UTC

Set version number to 8.19.1
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?=
Author Date: 2024-01-16 11:43:19 UTC

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
Author Date: 2023-09-07 14:18:02 UTC

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?=
Author Date: 2023-04-03 12:25:32 UTC

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?=
Author Date: 2022-11-25 12:14:13 UTC

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
Author Date: 2022-08-27 10:49:52 UTC

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
Author Date: 2022-07-02 23:44:08 UTC

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
Author Date: 2022-07-01 19:16:21 UTC

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
Author Date: 2022-07-01 19:03:08 UTC

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
Author Date: 2022-07-01 19:02:25 UTC

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?=
Author Date: 2022-06-27 12:23:52 UTC

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
Author Date: 2022-06-23 20:20:48 UTC

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
Author Date: 2022-06-23 20:19:49 UTC

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
Author Date: 2022-06-23 20:18:41 UTC

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
Author Date: 2022-06-23 20:17:25 UTC

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
Author Date: 2022-06-23 20:14:45 UTC

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
Author Date: 2017-12-08 23:38:28 UTC

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
Author Date: 2017-12-08 23:38:28 UTC

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
Author Date: 2017-12-08 23:38:28 UTC

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
Author Date: 2016-04-28 08:11:52 UTC

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
commit 3c767fca7 (svn r11833) which for some reason did not go in the
v8.1 branch.
1 → 21 of 21 results First • Previous • Next • Last
This repository contains Public information 
Everyone can see this information.

Subscribers