Coq

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

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

Import details

Import Status: Reviewed

This repository is an import of the Git repository at https://github.com/JasonGross/coq-packaging.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 10 seconds — see the log
Import started on juju-1e3bde-prod-lp-code-import-12 and finished taking 10 seconds — see the log
Import started on juju-1e3bde-prod-lp-code-import-12 and finished taking 10 seconds — see the log
Import started on juju-1e3bde-prod-lp-code-import-14 and finished taking 5 seconds — see the log
Import started on juju-1e3bde-prod-lp-code-import-14 and finished taking 5 seconds — see the log
Import started on juju-1e3bde-prod-lp-code-import-14 and finished taking 5 seconds — see the log
Import started on juju-1e3bde-prod-lp-code-import-14 and finished taking 10 seconds — see the log
Import started on juju-1e3bde-prod-lp-code-import-14 and finished taking 10 seconds — see the log
Import started on juju-1e3bde-prod-lp-code-import-12 and finished taking 10 seconds — see the log
Import started on juju-1e3bde-prod-lp-code-import-14 and finished taking 10 seconds — see the log

Branches

Name Last Modified Last Commit
master 2021-12-13 16:01:17 UTC
Try a different method of dune-version-independent doc install

Author: Jason Gross
Author Date: 2021-12-13 16:01:17 UTC

Try a different method of dune-version-independent doc install

We want everything to go in /usr/share/doc, but dune < 2.9 ignores -docdir, so we use -docdir on dune >= 2.9 to set it to the pre-2.9 directory

v8.14-coqide-no 2021-11-10 22:06:33 UTC
Update changelog numbering

Author: Jason Gross
Author Date: 2021-11-10 22:05:58 UTC

Update changelog numbering

dch -v 8.14~git -b

v8.14 2021-11-10 22:05:58 UTC
Update changelog numbering

Author: Jason Gross
Author Date: 2021-11-10 22:05:58 UTC

Update changelog numbering

dch -v 8.14~git -b

master-coqide-no 2021-09-17 16:12:06 UTC
Remove -vmbyteflags "-dllib,-lcoqrun"

Author: Jason G
Author Date: 2021-09-17 16:10:57 UTC

Remove -vmbyteflags "-dllib,-lcoqrun"

As per https://github.com/coq/coq/pull/14189 and the discussion at https://coq.zulipchat.com/#narrow/stream/237656-Coq-devs.20.26.20plugin.20devs/topic/configure.20arguments/near/253607747

v8.5-coqide-no 2021-02-03 14:23:06 UTC
Disable coqide

Author: Jason Gross
Author Date: 2021-02-03 14:21:07 UTC

Disable coqide

v8.6-coqide-no 2021-02-03 14:22:30 UTC
Disable coqide

Author: Jason Gross
Author Date: 2021-02-03 14:21:07 UTC

Disable coqide

v8.7-coqide-no 2021-02-03 14:22:07 UTC
Disable coqide

Author: Jason Gross
Author Date: 2021-02-03 14:21:07 UTC

Disable coqide

v8.8-coqide-no 2021-02-03 14:22:03 UTC
Disable coqide

Author: Jason Gross
Author Date: 2021-02-03 14:21:07 UTC

Disable coqide

v8.9-coqide-no 2021-02-03 14:21:07 UTC
Disable coqide

Author: Jason Gross
Author Date: 2021-02-03 14:21:07 UTC

Disable coqide

v8.5 2021-02-03 14:12:33 UTC
Require num on newer OCaml

Author: Jason Gross
Author Date: 2021-02-03 14:09:28 UTC

Require num on newer OCaml

v8.6 2021-02-03 14:12:25 UTC
Require num on newer OCaml

Author: Jason Gross
Author Date: 2021-02-03 14:09:28 UTC

Require num on newer OCaml

v8.7 2021-02-03 14:12:16 UTC
Require num on newer OCaml

Author: Jason Gross
Author Date: 2021-02-03 14:09:28 UTC

Require num on newer OCaml

v8.8 2021-02-03 14:11:43 UTC
Require num on newer OCaml

Author: Jason Gross
Author Date: 2021-02-03 14:09:28 UTC

Require num on newer OCaml

v8.12-coqide-no 2021-02-03 14:11:11 UTC
Don't use deprecated relation <

Author: Jason Gross
Author Date: 2021-02-03 14:10:06 UTC

Don't use deprecated relation <

v8.12 2021-02-03 14:11:07 UTC
Don't use deprecated relation <

Author: Jason Gross
Author Date: 2021-02-03 14:10:06 UTC

Don't use deprecated relation <

v8.11-coqide-no 2021-02-03 14:11:04 UTC
Don't use deprecated relation <

Author: Jason Gross
Author Date: 2021-02-03 14:10:06 UTC

Don't use deprecated relation <

v8.11 2021-02-03 14:11:00 UTC
Don't use deprecated relation <

Author: Jason Gross
Author Date: 2021-02-03 14:10:06 UTC

Don't use deprecated relation <

v8.10-coqide-no 2021-02-03 14:10:22 UTC
Don't use deprecated relation <

Author: Jason Gross
Author Date: 2021-02-03 14:10:06 UTC

Don't use deprecated relation <

v8.10 2021-02-03 14:10:06 UTC
Don't use deprecated relation <

Author: Jason Gross
Author Date: 2021-02-03 14:10:06 UTC

Don't use deprecated relation <

v8.9 2021-02-03 14:09:28 UTC
Require num on newer OCaml

Author: Jason Gross
Author Date: 2021-02-03 14:09:28 UTC

Require num on newer OCaml

v8.13-coqide-no 2021-01-27 17:19:18 UTC
Coq does not link num since 8.13

Author: Jason Gross
Author Date: 2021-01-27 17:18:40 UTC

Coq does not link num since 8.13

v8.13 2021-01-27 17:19:09 UTC
Coq does not link num since 8.13

Author: Jason Gross
Author Date: 2021-01-27 17:18:40 UTC

Coq does not link num since 8.13

v8.7-precise 2018-01-14 07:21:54 UTC
Update lablgtk2 dep to match coq

Author: Jason Gross
Author Date: 2018-01-14 07:18:14 UTC

Update lablgtk2 dep to match coq

master-precise 2018-01-14 07:21:13 UTC
Update lablgtk2 dep to match coq

Author: Jason Gross
Author Date: 2018-01-14 07:18:14 UTC

Update lablgtk2 dep to match coq

trunk-precise 2017-06-14 17:34:35 UTC
Make coq depend on libcoq-ocaml

Author: Jason Gross
Author Date: 2017-06-14 17:34:21 UTC

Make coq depend on libcoq-ocaml

trunk 2017-06-14 17:34:21 UTC
Make coq depend on libcoq-ocaml

Author: Jason Gross
Author Date: 2017-06-14 17:34:21 UTC

Make coq depend on libcoq-ocaml

v8.5-precise 2016-12-15 21:06:06 UTC
arch-specific coq-theories

Author: Jason Gross
Author Date: 2016-12-15 21:05:23 UTC

arch-specific coq-theories

v8.6-precise 2016-12-15 21:05:57 UTC
arch-specific coq-theories

Author: Jason Gross
Author Date: 2016-12-15 21:05:23 UTC

arch-specific coq-theories

v8.3 2016-07-11 10:03:30 UTC
Add -v8.3

Author: Jason Gross
Author Date: 2016-07-11 10:03:30 UTC

Add -v8.3

precise 2014-09-12 19:20:34 UTC
Track renaming of coq.el to gallina.el

Author: Edward Z. Yang
Author Date: 2014-09-12 19:19:58 UTC

Track renaming of coq.el to gallina.el

Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>

130 of 30 results
This repository contains Public information 
Everyone can see this information.

Subscribers