Coq

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

  1. Git
  2. 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-98ee42-prod-launchpad-codeimport-4 and finished taking 10 seconds — see the log
Import started on juju-98ee42-prod-launchpad-codeimport-1 and finished taking 25 seconds — see the log
Import started on juju-98ee42-prod-launchpad-codeimport-5 and finished taking 20 seconds — see the log
Import started on juju-98ee42-prod-launchpad-codeimport-4 and finished taking 15 seconds — see the log
Import started on juju-98ee42-prod-launchpad-codeimport-5 and finished taking 10 seconds — see the log
Import started on juju-98ee42-prod-launchpad-codeimport-5 and finished taking 30 seconds — see the log
Import started on juju-98ee42-prod-launchpad-codeimport-5 and finished taking 10 seconds — see the log
Import started on juju-98ee42-prod-launchpad-codeimport-4 and finished taking 15 seconds — see the log
Import started on juju-98ee42-prod-launchpad-codeimport-1 and finished taking 10 seconds — see the log
Import started on juju-98ee42-prod-launchpad-codeimport-1 and finished taking 20 seconds — see the log

Branches

Name Last Modified Last Commit
master-coqide-no 2024-04-16 21:59:33 UTC
Add includes for Drop (coq/coq#18771)

Author: Jason Gross
Author Date: 2024-04-16 21:59:23 UTC

Add includes for Drop (coq/coq#18771)
master 2024-04-16 21:59:23 UTC
Add includes for Drop (coq/coq#18771)

Author: Jason Gross
Author Date: 2024-04-16 21:59:23 UTC

Add includes for Drop (coq/coq#18771)
v8.18-coqide-no 2023-10-29 22:38:47 UTC
Update version in debian/rules

Author: Jason Gross
Author Date: 2023-10-29 22:38:21 UTC

Update version in debian/rules
v8.18 2023-10-29 22:38:21 UTC
Update version in debian/rules

Author: Jason Gross
Author Date: 2023-10-29 22:38:21 UTC

Update version in debian/rules
v8.17 2023-04-01 18:12:40 UTC
Update version in debian/rules

Author: Jason Gross
Author Date: 2023-04-01 18:12:28 UTC

Update version in debian/rules
v8.17-coqide-no 2023-04-01 18:12:28 UTC
Update version in debian/rules

Author: Jason Gross
Author Date: 2023-04-01 18:12:28 UTC

Update version in debian/rules
v8.14 2022-11-26 22:23:44 UTC
Remove coqidetop overlap between coq and coqide packages

Author: Jason Gross
Author Date: 2022-11-26 22:23:06 UTC

Remove coqidetop overlap between coq and coqide packages
v8.15 2022-11-26 22:23:25 UTC
Remove coqidetop overlap between coq and coqide packages

Author: Jason Gross
Author Date: 2022-11-26 22:23:06 UTC

Remove coqidetop overlap between coq and coqide packages
v8.16 2022-11-26 22:23:06 UTC
Remove coqidetop overlap between coq and coqide packages

Author: Jason Gross
Author Date: 2022-11-26 22:23:06 UTC

Remove coqidetop overlap between coq and coqide packages
v8.16-coqide-no 2022-11-12 15:46:06 UTC
Update minimal OCaml version

Author: Jason Gross
Author Date: 2022-11-12 15:45:55 UTC

Update minimal OCaml version
v8.13 2022-06-22 18:13:14 UTC
Disable lablgtk3 check when version is unspecified

Author: Jason Gross
Author Date: 2022-06-22 18:06:27 UTC

Disable lablgtk3 check when version is unspecified
v8.15-coqide-no 2022-01-22 20:18:46 UTC
Update changelog numbering

Author: Jason Gross
Author Date: 2022-01-22 20:16:38 UTC

Update changelog numbering

dch -v 8.15~git -b
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.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.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>
1 → 38 of 38 results First • Previous • Next • Last
This repository contains Public information 
Everyone can see this information.

Subscribers