Coq

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-1e3bde-prod-lp-code-import-12 and finished taking 2 minutes — see the log
Import started on juju-1e3bde-prod-lp-code-import-14 and finished taking 1 minute — see the log
Import started on juju-1e3bde-prod-lp-code-import-12 and finished taking 1 minute — see the log
Import started on juju-1e3bde-prod-lp-code-import-14 and finished taking 1 minute — see the log
Import started on juju-1e3bde-prod-lp-code-import-12 and finished taking 2 minutes — see the log
Import started on juju-1e3bde-prod-lp-code-import-14 and finished taking 1 minute — see the log
Import started on juju-1e3bde-prod-lp-code-import-14 and finished taking 40 seconds — see the log
Import started on juju-1e3bde-prod-lp-code-import-12 and finished taking 1 minute — see the log
Import started on juju-1e3bde-prod-lp-code-import-14 and finished taking 2 minutes — see the log
Import started on juju-1e3bde-prod-lp-code-import-14 and finished taking 50 seconds — see the log

Branches

Name Last Modified Last Commit
master 2022-01-20 13:34:26 UTC
Merge PR #15470: Slightly clean the Printing Existential Instances code

Author: coqbot-app[bot]
Author Date: 2022-01-20 13:34:26 UTC

Merge PR #15470: Slightly clean the Printing Existential Instances code

Reviewed-by: Alizter
Reviewed-by: ejgallego
Co-authored-by: ejgallego <ejgallego@users.noreply.github.com>

v8.14 2022-01-13 19:00:18 UTC
Merge pull request #15050 from ejgallego/v8.14+nativelib_include_stricter

Author: Guillaume Melquiond
Author Date: 2022-01-13 19:00:18 UTC

Merge pull request #15050 from ejgallego/v8.14+nativelib_include_stricter

[8.14] [nativelib] Don't pass to $LD non-existing dirs.

v8.15 2022-01-13 16:18:33 UTC
Post release commit

Author: =?utf-8?q?Ga=C3=ABtan_Gilbert?=
Author Date: 2022-01-13 16:18:33 UTC

Post release commit

v8.13 2021-04-01 13:03:20 UTC
update version to 8.13.2

Author: Enrico Tassi
Author Date: 2021-04-01 09:22:22 UTC

update version to 8.13.2

v8.12 2020-12-11 08:46:08 UTC
Merge PR #13607: [v8.12] 8.12.2 release

Author: Théo Zimmermann
Author Date: 2020-12-11 08:46:08 UTC

Merge PR #13607: [v8.12] 8.12.2 release

Ack-by: jfehrle

v8.11 2020-05-14 20:34:43 UTC
Unset the release mark.

Author: Pierre-Marie Pédrot
Author Date: 2020-05-14 20:34:43 UTC

Unset the release mark.

v8.10 2019-11-28 22:29:22 UTC
First commit after 8.10.2

Author: Vincent Laporte
Author Date: 2019-11-28 22:29:22 UTC

First commit after 8.10.2

v8.9 2019-08-25 08:36:52 UTC
Merge PR #10650: ocaml 4.08 does not allow dynamic loading of already present...

Author: Hugo Herbelin
Author Date: 2019-08-25 08:36:52 UTC

Merge PR #10650: ocaml 4.08 does not allow dynamic loading of already present pr_dump.cmo

v8.8 2018-09-25 21:07:28 UTC
Set Coq version to 8.8.2.

Author: Théo Zimmermann
Author Date: 2018-09-25 17:56:46 UTC

Set Coq version to 8.8.2.

v8.7 2018-08-17 10:21:19 UTC
Merge PR #8199: Backport recent CI changes to v8.7.

Author: Théo Zimmermann
Author Date: 2018-08-17 10:21:19 UTC

Merge PR #8199: Backport recent CI changes to v8.7.

v8.6 2018-02-21 10:36:01 UTC
Updating CHANGES about critical VM and universes bug.

Author: Hugo Herbelin
Author Date: 2018-02-14 22:04:04 UTC

Updating CHANGES about critical VM and universes bug.

v8.5 2018-02-21 10:34:02 UTC
Updating CHANGES about critical VM and universes bug.

Author: Hugo Herbelin
Author Date: 2018-02-14 22:04:04 UTC

Updating CHANGES about critical VM and universes bug.

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.

v8.0 2016-03-08 09:47:25 UTC
Default CoqIDE modifiers for menu did not work (e.g. "d" was

Author: notin
Author Date: 2006-11-07 14:56:53 UTC

Default CoqIDE modifiers for menu did not work (e.g. "d" was
activating the "d" template menu).

I backported svn revision 9349 from JMN which fixes the problem (even
though I don't know why the previous setting would have worked at some
early time around 2004, in 8.0, before 8.1 is released).

Log of r9349 was:

Changement des modifeurs par défaut dans CoqIDE (problème de
compatibilité entre architecture)

117 of 17 results
This repository contains Public information 
Everyone can see this information.

Subscribers