Ubuntu
coq package

View Bazaar branches
Get this repository:
git clone https://git.launchpad.net/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 2024-03-31 18:52:31 UTC
DSC file for 8.18.0+dfsg-1build2

Author: Ubuntu Git Importer
Author Date: 2024-03-31 18:52:31 UTC

DSC file for 8.18.0+dfsg-1build2
ubuntu/devel 2024-03-31 17:53:19 UTC
8.18.0+dfsg-1build2 (patches unapplied)

Author: Steve Langasek
Author Date: 2024-03-31 17:52:42 UTC

8.18.0+dfsg-1build2 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/noble-proposed 2024-03-31 17:53:19 UTC
8.18.0+dfsg-1build2 (patches unapplied)

Author: Steve Langasek
Author Date: 2024-03-31 17:52:42 UTC

8.18.0+dfsg-1build2 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/noble-devel 2024-03-31 17:53:19 UTC
8.18.0+dfsg-1build2 (patches applied)

Author: Steve Langasek
Author Date: 2024-03-31 17:52:42 UTC

8.18.0+dfsg-1build2 (patches applied)

Imported using git-ubuntu import.
ubuntu/noble 2024-03-31 17:53:19 UTC
8.18.0+dfsg-1build2 (patches unapplied)

Author: Steve Langasek
Author Date: 2024-03-31 17:52:42 UTC

8.18.0+dfsg-1build2 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/noble-devel 2024-03-31 17:53:19 UTC
8.18.0+dfsg-1build2 (patches unapplied)

Author: Steve Langasek
Author Date: 2024-03-31 17:52:42 UTC

8.18.0+dfsg-1build2 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/noble 2024-03-31 17:53:19 UTC
8.18.0+dfsg-1build2 (patches applied)

Author: Steve Langasek
Author Date: 2024-03-31 17:52:42 UTC

8.18.0+dfsg-1build2 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/noble-proposed 2024-03-31 17:53:19 UTC
8.18.0+dfsg-1build2 (patches applied)

Author: Steve Langasek
Author Date: 2024-03-31 17:52:42 UTC

8.18.0+dfsg-1build2 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/devel 2024-03-31 17:53:19 UTC
8.18.0+dfsg-1build2 (patches applied)

Author: Steve Langasek
Author Date: 2024-03-31 17:52:42 UTC

8.18.0+dfsg-1build2 (patches applied)

Imported using git-ubuntu import.
importer/debian/dsc 2023-12-21 22:47:31 UTC
DSC file for 8.18.0+dfsg-1

Author: Ubuntu Git Importer
Author Date: 2023-12-21 22:47:31 UTC

DSC file for 8.18.0+dfsg-1
ubuntu/noble-updates 2023-12-21 22:37:44 UTC
8.18.0+dfsg-1 (patches unapplied)

Author: Julien Puydt
Author Date: 2023-12-21 13:34:31 UTC

8.18.0+dfsg-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/noble-updates 2023-12-21 22:37:44 UTC
8.18.0+dfsg-1 (patches applied)

Author: Julien Puydt
Author Date: 2023-12-21 13:34:31 UTC

8.18.0+dfsg-1 (patches applied)

Imported using git-ubuntu import.
applied/debian/sid 2023-12-21 22:37:44 UTC
8.18.0+dfsg-1 (patches applied)

Author: Julien Puydt
Author Date: 2023-12-21 13:34:31 UTC

8.18.0+dfsg-1 (patches applied)

Imported using git-ubuntu import.
debian/sid 2023-12-21 22:37:44 UTC
8.18.0+dfsg-1 (patches unapplied)

Author: Julien Puydt
Author Date: 2023-12-21 13:34:31 UTC

8.18.0+dfsg-1 (patches unapplied)

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.
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/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.
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.
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.
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/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-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.
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-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.
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.
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/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.
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.
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-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.
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.
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.
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/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-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.
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.
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-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-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.
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.
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.
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.
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/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.
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.
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/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/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.
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.
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.
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.
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.
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.
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.
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.
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.
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/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.
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-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.
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.
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.
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.
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.
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.
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.
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/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/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.
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.
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/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.
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-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/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.
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-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.
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.
1 → 100 of 224 results First • Previous • • Last

Other repositories

Name Last Modified
lp:ubuntu/+source/coq 2024-04-10
1 → 1 of 1 result First • Previous • Next • Last
You can't create new repositories for coq in Ubuntu.