View Bazaar branches
Get this repository:
git clone https://git.not.enabled/ubuntu/+source/coq
Members of git-ubuntu import can upload to this repository. Log in for directions.

See all merge proposals.

Branches

Name Last Modified Last Commit
importer/ubuntu/dsc 2023-07-24 17:48:11 UTC
DSC file for 8.17.0+dfsg-1build1

Author: Ubuntu Git Importer
Author Date: 2023-07-24 17:48:11 UTC

DSC file for 8.17.0+dfsg-1build1

applied/ubuntu/devel 2023-07-24 17:06:08 UTC
8.17.0+dfsg-1build1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2023-07-24 17:05:45 UTC

8.17.0+dfsg-1build1 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/mantic 2023-07-24 17:06:08 UTC
8.17.0+dfsg-1build1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2023-07-24 17:05:45 UTC

8.17.0+dfsg-1build1 (patches applied)

Imported using git-ubuntu import.

ubuntu/mantic-devel 2023-07-24 17:06:08 UTC
8.17.0+dfsg-1build1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2023-07-24 17:05:45 UTC

8.17.0+dfsg-1build1 (patches unapplied)

Imported using git-ubuntu import.

applied/ubuntu/mantic-devel 2023-07-24 17:06:08 UTC
8.17.0+dfsg-1build1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2023-07-24 17:05:45 UTC

8.17.0+dfsg-1build1 (patches applied)

Imported using git-ubuntu import.

ubuntu/mantic-proposed 2023-07-24 17:06:08 UTC
8.17.0+dfsg-1build1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2023-07-24 17:05:45 UTC

8.17.0+dfsg-1build1 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/mantic 2023-07-24 17:06:08 UTC
8.17.0+dfsg-1build1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2023-07-24 17:05:45 UTC

8.17.0+dfsg-1build1 (patches unapplied)

Imported using git-ubuntu import.

applied/ubuntu/mantic-proposed 2023-07-24 17:06:08 UTC
8.17.0+dfsg-1build1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2023-07-24 17:05:45 UTC

8.17.0+dfsg-1build1 (patches applied)

Imported using git-ubuntu import.

ubuntu/devel 2023-07-24 17:06:08 UTC
8.17.0+dfsg-1build1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2023-07-24 17:05:45 UTC

8.17.0+dfsg-1build1 (patches unapplied)

Imported using git-ubuntu import.

importer/debian/dsc 2023-06-12 16:38:32 UTC
DSC file for 8.17.0+dfsg-1

Author: Ubuntu Git Importer
Author Date: 2023-06-12 16:38:32 UTC

DSC file for 8.17.0+dfsg-1

applied/debian/sid 2023-06-12 16:33:16 UTC
8.17.0+dfsg-1 (patches applied)

Author: Julien Puydt
Author Date: 2023-06-12 06:54:21 UTC

8.17.0+dfsg-1 (patches applied)

Imported using git-ubuntu import.

debian/sid 2023-06-12 16:33:16 UTC
8.17.0+dfsg-1 (patches unapplied)

Author: Julien Puydt
Author Date: 2023-06-12 06:54:21 UTC

8.17.0+dfsg-1 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/lunar-proposed 2023-02-16 09:55:16 UTC
8.16.1+dfsg-1build2 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2023-02-16 09:54:39 UTC

8.16.1+dfsg-1build2 (patches unapplied)

Imported using git-ubuntu import.

applied/ubuntu/lunar-proposed 2023-02-16 09:55:16 UTC
8.16.1+dfsg-1build2 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2023-02-16 09:54:39 UTC

8.16.1+dfsg-1build2 (patches applied)

Imported using git-ubuntu import.

ubuntu/lunar 2023-02-16 09:55:16 UTC
8.16.1+dfsg-1build2 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2023-02-16 09:54:39 UTC

8.16.1+dfsg-1build2 (patches unapplied)

Imported using git-ubuntu import.

applied/ubuntu/lunar-devel 2023-02-16 09:55:16 UTC
8.16.1+dfsg-1build2 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2023-02-16 09:54:39 UTC

8.16.1+dfsg-1build2 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/lunar 2023-02-16 09:55:16 UTC
8.16.1+dfsg-1build2 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2023-02-16 09:54:39 UTC

8.16.1+dfsg-1build2 (patches applied)

Imported using git-ubuntu import.

ubuntu/lunar-devel 2023-02-16 09:55:16 UTC
8.16.1+dfsg-1build2 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2023-02-16 09:54:39 UTC

8.16.1+dfsg-1build2 (patches unapplied)

Imported using git-ubuntu import.

debian/bookworm 2022-11-29 16:29:13 UTC
8.16.1+dfsg-1 (patches unapplied)

Author: Julien Puydt
Author Date: 2022-11-29 08:28:08 UTC

8.16.1+dfsg-1 (patches unapplied)

Imported using git-ubuntu import.

applied/debian/bookworm 2022-11-29 16:29:13 UTC
8.16.1+dfsg-1 (patches applied)

Author: Julien Puydt
Author Date: 2022-11-29 08:28:08 UTC

8.16.1+dfsg-1 (patches applied)

Imported using git-ubuntu import.

importer/ubuntu/pristine-tar 2022-08-26 19:31:13 UTC
pristine-tar data for coq_8.12.0.orig.tar.gz

Author: Ubuntu Git Importer
Author Date: 2022-08-26 19:31:13 UTC

pristine-tar data for coq_8.12.0.orig.tar.gz

importer/debian/pristine-tar 2022-08-26 19:30:13 UTC
pristine-tar data for coq_8.12.0.orig.tar.gz

Author: Ubuntu Git Importer
Author Date: 2022-08-26 19:30:13 UTC

pristine-tar data for coq_8.12.0.orig.tar.gz

applied/ubuntu/kinetic-devel 2022-06-12 04:29:48 UTC
8.15.2+dfsg-2 (patches applied)

Author: Julien Puydt
Author Date: 2022-06-11 14:16:14 UTC

8.15.2+dfsg-2 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/kinetic 2022-06-12 04:29:48 UTC
8.15.2+dfsg-2 (patches applied)

Author: Julien Puydt
Author Date: 2022-06-11 14:16:14 UTC

8.15.2+dfsg-2 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/kinetic-proposed 2022-06-12 04:29:48 UTC
8.15.2+dfsg-2 (patches applied)

Author: Julien Puydt
Author Date: 2022-06-11 14:16:14 UTC

8.15.2+dfsg-2 (patches applied)

Imported using git-ubuntu import.

ubuntu/kinetic-proposed 2022-06-12 04:29:48 UTC
8.15.2+dfsg-2 (patches unapplied)

Author: Julien Puydt
Author Date: 2022-06-11 14:16:14 UTC

8.15.2+dfsg-2 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/kinetic 2022-06-12 04:29:48 UTC
8.15.2+dfsg-2 (patches unapplied)

Author: Julien Puydt
Author Date: 2022-06-11 14:16:14 UTC

8.15.2+dfsg-2 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/kinetic-devel 2022-06-12 04:29:48 UTC
8.15.2+dfsg-2 (patches unapplied)

Author: Julien Puydt
Author Date: 2022-06-11 14:16:14 UTC

8.15.2+dfsg-2 (patches unapplied)

Imported using git-ubuntu import.

applied/ubuntu/jammy-devel 2022-02-05 16:30:17 UTC
8.15.0+dfsg-2 (patches applied)

Author: Julien Puydt
Author Date: 2022-02-04 07:54:41 UTC

8.15.0+dfsg-2 (patches applied)

Imported using git-ubuntu import.

ubuntu/jammy 2022-02-05 16:30:17 UTC
8.15.0+dfsg-2 (patches unapplied)

Author: Julien Puydt
Author Date: 2022-02-04 07:54:41 UTC

8.15.0+dfsg-2 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/jammy-proposed 2022-02-05 16:30:17 UTC
8.15.0+dfsg-2 (patches unapplied)

Author: Julien Puydt
Author Date: 2022-02-04 07:54:41 UTC

8.15.0+dfsg-2 (patches unapplied)

Imported using git-ubuntu import.

applied/ubuntu/jammy-proposed 2022-02-05 16:30:17 UTC
8.15.0+dfsg-2 (patches applied)

Author: Julien Puydt
Author Date: 2022-02-04 07:54:41 UTC

8.15.0+dfsg-2 (patches applied)

Imported using git-ubuntu import.

ubuntu/jammy-devel 2022-02-05 16:30:17 UTC
8.15.0+dfsg-2 (patches unapplied)

Author: Julien Puydt
Author Date: 2022-02-04 07:54:41 UTC

8.15.0+dfsg-2 (patches unapplied)

Imported using git-ubuntu import.

applied/ubuntu/jammy 2022-02-05 16:30:17 UTC
8.15.0+dfsg-2 (patches applied)

Author: Julien Puydt
Author Date: 2022-02-04 07:54:41 UTC

8.15.0+dfsg-2 (patches applied)

Imported using git-ubuntu import.

debian/experimental 2021-11-11 22:26:03 UTC
8.14.0+dfsg-2 (patches unapplied)

Author: Julien Puydt
Author Date: 2021-11-11 16:40:04 UTC

8.14.0+dfsg-2 (patches unapplied)

Imported using git-ubuntu import.

applied/debian/experimental 2021-11-11 22:26:03 UTC
8.14.0+dfsg-2 (patches applied)

Author: Julien Puydt
Author Date: 2021-11-11 16:40:04 UTC

8.14.0+dfsg-2 (patches applied)

Imported using git-ubuntu import.

ubuntu/hirsute 2020-11-28 09:25:09 UTC
8.12.0-3build3 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2020-11-28 09:24:45 UTC

8.12.0-3build3 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/impish 2020-11-28 09:25:09 UTC
8.12.0-3build3 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2020-11-28 09:24:45 UTC

8.12.0-3build3 (patches unapplied)

Imported using git-ubuntu import.

applied/ubuntu/impish-devel 2020-11-28 09:25:09 UTC
8.12.0-3build3 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2020-11-28 09:24:45 UTC

8.12.0-3build3 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/impish 2020-11-28 09:25:09 UTC
8.12.0-3build3 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2020-11-28 09:24:45 UTC

8.12.0-3build3 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/hirsute-proposed 2020-11-28 09:25:09 UTC
8.12.0-3build3 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2020-11-28 09:24:45 UTC

8.12.0-3build3 (patches applied)

Imported using git-ubuntu import.

ubuntu/impish-devel 2020-11-28 09:25:09 UTC
8.12.0-3build3 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2020-11-28 09:24:45 UTC

8.12.0-3build3 (patches unapplied)

Imported using git-ubuntu import.

applied/ubuntu/hirsute-devel 2020-11-28 09:25:09 UTC
8.12.0-3build3 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2020-11-28 09:24:45 UTC

8.12.0-3build3 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/hirsute 2020-11-28 09:25:09 UTC
8.12.0-3build3 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2020-11-28 09:24:45 UTC

8.12.0-3build3 (patches applied)

Imported using git-ubuntu import.

ubuntu/hirsute-devel 2020-11-28 09:25:09 UTC
8.12.0-3build3 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2020-11-28 09:24:45 UTC

8.12.0-3build3 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/hirsute-proposed 2020-11-28 09:25:09 UTC
8.12.0-3build3 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2020-11-28 09:24:45 UTC

8.12.0-3build3 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/groovy-devel 2020-10-04 00:46:05 UTC
8.12.0-3build1 (patches unapplied)

Author: Jeremy Bícha
Author Date: 2020-10-04 00:40:29 UTC

8.12.0-3build1 (patches unapplied)

Imported using git-ubuntu import.

applied/ubuntu/groovy-proposed 2020-10-04 00:46:05 UTC
8.12.0-3build1 (patches applied)

Author: Jeremy Bícha
Author Date: 2020-10-04 00:40:29 UTC

8.12.0-3build1 (patches applied)

Imported using git-ubuntu import.

ubuntu/groovy-proposed 2020-10-04 00:46:05 UTC
8.12.0-3build1 (patches unapplied)

Author: Jeremy Bícha
Author Date: 2020-10-04 00:40:29 UTC

8.12.0-3build1 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/groovy 2020-10-04 00:46:05 UTC
8.12.0-3build1 (patches unapplied)

Author: Jeremy Bícha
Author Date: 2020-10-04 00:40:29 UTC

8.12.0-3build1 (patches unapplied)

Imported using git-ubuntu import.

applied/ubuntu/groovy-devel 2020-10-04 00:46:05 UTC
8.12.0-3build1 (patches applied)

Author: Jeremy Bícha
Author Date: 2020-10-04 00:40:29 UTC

8.12.0-3build1 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/groovy 2020-10-04 00:46:05 UTC
8.12.0-3build1 (patches applied)

Author: Jeremy Bícha
Author Date: 2020-10-04 00:40:29 UTC

8.12.0-3build1 (patches applied)

Imported using git-ubuntu import.

applied/debian/bullseye 2020-09-10 10:27:15 UTC
8.12.0-3 (patches applied)

Author: Ralf Treinen
Author Date: 2020-09-09 19:16:07 UTC

8.12.0-3 (patches applied)

Imported using git-ubuntu import.

debian/bullseye 2020-09-10 10:27:15 UTC
8.12.0-3 (patches unapplied)

Author: Ralf Treinen
Author Date: 2020-09-09 19:16:07 UTC

8.12.0-3 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/focal-proposed 2020-03-06 04:28:33 UTC
8.11.0-1 (patches unapplied)

Author: Ralf Treinen
Author Date: 2020-03-05 20:37:30 UTC

8.11.0-1 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/focal-devel 2020-03-06 04:28:33 UTC
8.11.0-1 (patches unapplied)

Author: Ralf Treinen
Author Date: 2020-03-05 20:37:30 UTC

8.11.0-1 (patches unapplied)

Imported using git-ubuntu import.

applied/ubuntu/focal-proposed 2020-03-06 04:28:33 UTC
8.11.0-1 (patches applied)

Author: Ralf Treinen
Author Date: 2020-03-05 20:37:30 UTC

8.11.0-1 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/focal-devel 2020-03-06 04:28:33 UTC
8.11.0-1 (patches applied)

Author: Ralf Treinen
Author Date: 2020-03-05 20:37:30 UTC

8.11.0-1 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/focal 2020-03-06 04:28:33 UTC
8.11.0-1 (patches applied)

Author: Ralf Treinen
Author Date: 2020-03-05 20:37:30 UTC

8.11.0-1 (patches applied)

Imported using git-ubuntu import.

ubuntu/focal 2020-03-06 04:28:33 UTC
8.11.0-1 (patches unapplied)

Author: Ralf Treinen
Author Date: 2020-03-05 20:37:30 UTC

8.11.0-1 (patches unapplied)

Imported using git-ubuntu import.

applied/ubuntu/eoan-proposed 2019-08-20 10:28:18 UTC
8.9.1-1 (patches applied)

Author: Stéphane Glondu
Author Date: 2019-08-20 03:09:34 UTC

8.9.1-1 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/eoan-devel 2019-08-20 10:28:18 UTC
8.9.1-1 (patches applied)

Author: Stéphane Glondu
Author Date: 2019-08-20 03:09:34 UTC

8.9.1-1 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/eoan 2019-08-20 10:28:18 UTC
8.9.1-1 (patches applied)

Author: Stéphane Glondu
Author Date: 2019-08-20 03:09:34 UTC

8.9.1-1 (patches applied)

Imported using git-ubuntu import.

ubuntu/eoan 2019-08-20 10:28:18 UTC
8.9.1-1 (patches unapplied)

Author: Stéphane Glondu
Author Date: 2019-08-20 03:09:34 UTC

8.9.1-1 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/eoan-devel 2019-08-20 10:28:18 UTC
8.9.1-1 (patches unapplied)

Author: Stéphane Glondu
Author Date: 2019-08-20 03:09:34 UTC

8.9.1-1 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/eoan-proposed 2019-08-20 10:28:18 UTC
8.9.1-1 (patches unapplied)

Author: Stéphane Glondu
Author Date: 2019-08-20 03:09:34 UTC

8.9.1-1 (patches unapplied)

Imported using git-ubuntu import.

debian/buster 2019-02-06 22:30:00 UTC
8.9.0-1 (patches unapplied)

Author: Benjamin Barenblat
Author Date: 2019-02-06 17:41:09 UTC

8.9.0-1 (patches unapplied)

Imported using git-ubuntu import.

applied/ubuntu/disco-proposed 2019-02-06 22:30:00 UTC
8.9.0-1 (patches applied)

Author: Benjamin Barenblat
Author Date: 2019-02-06 17:41:09 UTC

8.9.0-1 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/disco-devel 2019-02-06 22:30:00 UTC
8.9.0-1 (patches applied)

Author: Benjamin Barenblat
Author Date: 2019-02-06 17:41:09 UTC

8.9.0-1 (patches applied)

Imported using git-ubuntu import.

ubuntu/disco-proposed 2019-02-06 22:30:00 UTC
8.9.0-1 (patches unapplied)

Author: Benjamin Barenblat
Author Date: 2019-02-06 17:41:09 UTC

8.9.0-1 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/disco-devel 2019-02-06 22:30:00 UTC
8.9.0-1 (patches unapplied)

Author: Benjamin Barenblat
Author Date: 2019-02-06 17:41:09 UTC

8.9.0-1 (patches unapplied)

Imported using git-ubuntu import.

applied/debian/buster 2019-02-06 22:30:00 UTC
8.9.0-1 (patches applied)

Author: Benjamin Barenblat
Author Date: 2019-02-06 17:41:09 UTC

8.9.0-1 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/bionic-devel 2017-10-28 14:22:10 UTC
8.6-5build1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2017-10-28 14:21:16 UTC

8.6-5build1 (patches applied)

Imported using git-ubuntu import.

ubuntu/bionic 2017-10-28 14:22:10 UTC
8.6-5build1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2017-10-28 14:21:16 UTC

8.6-5build1 (patches unapplied)

Imported using git-ubuntu import.

applied/ubuntu/bionic 2017-10-28 14:22:10 UTC
8.6-5build1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2017-10-28 14:21:16 UTC

8.6-5build1 (patches applied)

Imported using git-ubuntu import.

ubuntu/bionic-proposed 2017-10-28 14:22:10 UTC
8.6-5build1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2017-10-28 14:21:16 UTC

8.6-5build1 (patches unapplied)

Imported using git-ubuntu import.

applied/ubuntu/disco 2017-10-28 14:22:10 UTC
8.6-5build1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2017-10-28 14:21:16 UTC

8.6-5build1 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/cosmic-devel 2017-10-28 14:22:10 UTC
8.6-5build1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2017-10-28 14:21:16 UTC

8.6-5build1 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/cosmic 2017-10-28 14:22:10 UTC
8.6-5build1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2017-10-28 14:21:16 UTC

8.6-5build1 (patches applied)

Imported using git-ubuntu import.

ubuntu/cosmic-devel 2017-10-28 14:22:10 UTC
8.6-5build1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2017-10-28 14:21:16 UTC

8.6-5build1 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/bionic-devel 2017-10-28 14:22:10 UTC
8.6-5build1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2017-10-28 14:21:16 UTC

8.6-5build1 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/disco 2017-10-28 14:22:10 UTC
8.6-5build1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2017-10-28 14:21:16 UTC

8.6-5build1 (patches unapplied)

Imported using git-ubuntu import.

applied/ubuntu/bionic-proposed 2017-10-28 14:22:10 UTC
8.6-5build1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2017-10-28 14:21:16 UTC

8.6-5build1 (patches applied)

Imported using git-ubuntu import.

ubuntu/cosmic 2017-10-28 14:22:10 UTC
8.6-5build1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2017-10-28 14:21:16 UTC

8.6-5build1 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/artful-proposed 2017-07-27 08:46:16 UTC
8.6-4build3 (patches unapplied)

Author: Dimitri John Ledkov
Author Date: 2017-07-27 08:44:54 UTC

8.6-4build3 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/artful 2017-07-27 08:46:16 UTC
8.6-4build3 (patches unapplied)

Author: Dimitri John Ledkov
Author Date: 2017-07-27 08:44:54 UTC

8.6-4build3 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/artful-devel 2017-07-27 08:46:16 UTC
8.6-4build3 (patches unapplied)

Author: Dimitri John Ledkov
Author Date: 2017-07-27 08:44:54 UTC

8.6-4build3 (patches unapplied)

Imported using git-ubuntu import.

applied/ubuntu/artful-proposed 2017-07-27 08:46:16 UTC
8.6-4build3 (patches applied)

Author: Dimitri John Ledkov
Author Date: 2017-07-27 08:44:54 UTC

8.6-4build3 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/artful-devel 2017-07-27 08:46:16 UTC
8.6-4build3 (patches applied)

Author: Dimitri John Ledkov
Author Date: 2017-07-27 08:44:54 UTC

8.6-4build3 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/artful 2017-07-27 08:46:16 UTC
8.6-4build3 (patches applied)

Author: Dimitri John Ledkov
Author Date: 2017-07-27 08:44:54 UTC

8.6-4build3 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/zesty 2016-12-30 04:11:34 UTC
8.6-4 (patches applied)

Author: gares
Author Date: 2016-12-29 22:45:47 UTC

8.6-4 (patches applied)

Imported using git-ubuntu import.

ubuntu/zesty-proposed 2016-12-30 04:11:34 UTC
8.6-4 (patches unapplied)

Author: gares
Author Date: 2016-12-29 22:45:47 UTC

8.6-4 (patches unapplied)

Imported using git-ubuntu import.

applied/ubuntu/zesty-devel 2016-12-30 04:11:34 UTC
8.6-4 (patches applied)

Author: gares
Author Date: 2016-12-29 22:45:47 UTC

8.6-4 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/zesty-proposed 2016-12-30 04:11:34 UTC
8.6-4 (patches applied)

Author: gares
Author Date: 2016-12-29 22:45:47 UTC

8.6-4 (patches applied)

Imported using git-ubuntu import.

debian/stretch 2016-12-30 04:11:34 UTC
8.6-4 (patches unapplied)

Author: gares
Author Date: 2016-12-29 22:45:47 UTC

8.6-4 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/zesty 2016-12-30 04:11:34 UTC
8.6-4 (patches unapplied)

Author: gares
Author Date: 2016-12-29 22:45:47 UTC

8.6-4 (patches unapplied)

Imported using git-ubuntu import.

applied/debian/stretch 2016-12-30 04:11:34 UTC
8.6-4 (patches applied)

Author: gares
Author Date: 2016-12-29 22:45:47 UTC

8.6-4 (patches applied)

Imported using git-ubuntu import.

ubuntu/zesty-devel 2016-12-30 04:11:34 UTC
8.6-4 (patches unapplied)

Author: gares
Author Date: 2016-12-29 22:45:47 UTC

8.6-4 (patches unapplied)

Imported using git-ubuntu import.

applied/ubuntu/yakkety 2016-06-11 15:13:10 UTC
8.5-2build1 (patches applied)

Author: Steve Langasek
Author Date: 2016-06-11 15:12:11 UTC

8.5-2build1 (patches applied)

Imported using git-ubuntu import.

ubuntu/yakkety 2016-06-11 15:13:10 UTC
8.5-2build1 (patches unapplied)

Author: Steve Langasek
Author Date: 2016-06-11 15:12:11 UTC

8.5-2build1 (patches unapplied)

Imported using git-ubuntu import.

1100 of 216 results

Other repositories

Name Last Modified
lp:ubuntu/+source/coq 2023-07-31
11 of 1 result
You can't create new repositories for coq in Ubuntu.