Ubuntu
coq-doc package

View Bazaar branches
Get this repository:
git clone https://git.launchpad.net/ubuntu/+source/coq-doc
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 2025-12-03 11:22:22 UTC
DSC file for 8.20.0-2build1

Author: Ubuntu Git Importer
Author Date: 2025-12-03 11:22:22 UTC

DSC file for 8.20.0-2build1
applied/ubuntu/resolute-devel 2025-12-03 09:55:27 UTC
8.20.0-2build1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2025-12-03 09:54:55 UTC

8.20.0-2build1 (patches applied)

Imported using git-ubuntu import.
ubuntu/resolute-devel 2025-12-03 09:55:27 UTC
8.20.0-2build1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2025-12-03 09:54:55 UTC

8.20.0-2build1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/resolute-proposed 2025-12-03 09:55:27 UTC
8.20.0-2build1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2025-12-03 09:54:55 UTC

8.20.0-2build1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/devel 2025-12-03 09:55:27 UTC
8.20.0-2build1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2025-12-03 09:54:55 UTC

8.20.0-2build1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/resolute-proposed 2025-12-03 09:55:27 UTC
8.20.0-2build1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2025-12-03 09:54:55 UTC

8.20.0-2build1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/devel 2025-12-03 09:55:27 UTC
8.20.0-2build1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2025-12-03 09:54:55 UTC

8.20.0-2build1 (patches applied)

Imported using git-ubuntu import.
ubuntu/resolute 2025-12-03 09:55:27 UTC
8.20.0-2build1 (patches unapplied)

Author: Gianfranco Costamagna
Author Date: 2025-12-03 09:54:55 UTC

8.20.0-2build1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/resolute 2025-12-03 09:55:27 UTC
8.20.0-2build1 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2025-12-03 09:54:55 UTC

8.20.0-2build1 (patches applied)

Imported using git-ubuntu import.
importer/debian/dsc 2025-01-24 04:39:30 UTC
DSC file for 8.20.0-2

Author: Ubuntu Git Importer
Author Date: 2025-01-24 04:39:30 UTC

DSC file for 8.20.0-2
ubuntu/plucky-proposed 2025-01-24 04:32:58 UTC
8.20.0-2 (patches unapplied)

Author: Julien Puydt
Author Date: 2025-01-20 11:58:56 UTC

8.20.0-2 (patches unapplied)

Imported using git-ubuntu import.
applied/debian/sid 2025-01-24 04:32:58 UTC
8.20.0-2 (patches applied)

Author: Julien Puydt
Author Date: 2025-01-20 11:58:56 UTC

8.20.0-2 (patches applied)

Imported using git-ubuntu import.
ubuntu/questing 2025-01-24 04:32:58 UTC
8.20.0-2 (patches unapplied)

Author: Julien Puydt
Author Date: 2025-01-20 11:58:56 UTC

8.20.0-2 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/plucky 2025-01-24 04:32:58 UTC
8.20.0-2 (patches unapplied)

Author: Julien Puydt
Author Date: 2025-01-20 11:58:56 UTC

8.20.0-2 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/questing-devel 2025-01-24 04:32:58 UTC
8.20.0-2 (patches unapplied)

Author: Julien Puydt
Author Date: 2025-01-20 11:58:56 UTC

8.20.0-2 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/plucky-devel 2025-01-24 04:32:58 UTC
8.20.0-2 (patches unapplied)

Author: Julien Puydt
Author Date: 2025-01-20 11:58:56 UTC

8.20.0-2 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/plucky-devel 2025-01-24 04:32:58 UTC
8.20.0-2 (patches applied)

Author: Julien Puydt
Author Date: 2025-01-20 11:58:56 UTC

8.20.0-2 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/plucky-proposed 2025-01-24 04:32:58 UTC
8.20.0-2 (patches applied)

Author: Julien Puydt
Author Date: 2025-01-20 11:58:56 UTC

8.20.0-2 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/plucky 2025-01-24 04:32:58 UTC
8.20.0-2 (patches applied)

Author: Julien Puydt
Author Date: 2025-01-20 11:58:56 UTC

8.20.0-2 (patches applied)

Imported using git-ubuntu import.
debian/sid 2025-01-24 04:32:58 UTC
8.20.0-2 (patches unapplied)

Author: Julien Puydt
Author Date: 2025-01-20 11:58:56 UTC

8.20.0-2 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/questing-devel 2025-01-24 04:32:58 UTC
8.20.0-2 (patches applied)

Author: Julien Puydt
Author Date: 2025-01-20 11:58:56 UTC

8.20.0-2 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/questing 2025-01-24 04:32:58 UTC
8.20.0-2 (patches applied)

Author: Julien Puydt
Author Date: 2025-01-20 11:58:56 UTC

8.20.0-2 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/oracular-proposed 2024-06-18 22:30:27 UTC
8.19.1-2 (patches applied)

Author: Stéphane Glondu
Author Date: 2024-06-18 09:16:07 UTC

8.19.1-2 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/oracular-devel 2024-06-18 22:30:27 UTC
8.19.1-2 (patches applied)

Author: Stéphane Glondu
Author Date: 2024-06-18 09:16:07 UTC

8.19.1-2 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/oracular 2024-06-18 22:30:27 UTC
8.19.1-2 (patches applied)

Author: Stéphane Glondu
Author Date: 2024-06-18 09:16:07 UTC

8.19.1-2 (patches applied)

Imported using git-ubuntu import.
ubuntu/oracular-proposed 2024-06-18 22:30:27 UTC
8.19.1-2 (patches unapplied)

Author: Stéphane Glondu
Author Date: 2024-06-18 09:16:07 UTC

8.19.1-2 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/oracular-devel 2024-06-18 22:30:27 UTC
8.19.1-2 (patches unapplied)

Author: Stéphane Glondu
Author Date: 2024-06-18 09:16:07 UTC

8.19.1-2 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/oracular 2024-06-18 22:30:27 UTC
8.19.1-2 (patches unapplied)

Author: Stéphane Glondu
Author Date: 2024-06-18 09:16:07 UTC

8.19.1-2 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/noble-proposed 2024-01-25 22:35:48 UTC
8.18.0-1 (patches applied)

Author: Julien Puydt
Author Date: 2024-01-25 12:58:36 UTC

8.18.0-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/noble-proposed 2024-01-25 22:35:48 UTC
8.18.0-1 (patches unapplied)

Author: Julien Puydt
Author Date: 2024-01-25 12:58:36 UTC

8.18.0-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/noble-devel 2024-01-25 22:35:48 UTC
8.18.0-1 (patches unapplied)

Author: Julien Puydt
Author Date: 2024-01-25 12:58:36 UTC

8.18.0-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/noble 2024-01-25 22:35:48 UTC
8.18.0-1 (patches unapplied)

Author: Julien Puydt
Author Date: 2024-01-25 12:58:36 UTC

8.18.0-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/noble 2024-01-25 22:35:48 UTC
8.18.0-1 (patches applied)

Author: Julien Puydt
Author Date: 2024-01-25 12:58:36 UTC

8.18.0-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/noble-devel 2024-01-25 22:35:48 UTC
8.18.0-1 (patches applied)

Author: Julien Puydt
Author Date: 2024-01-25 12:58:36 UTC

8.18.0-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/mantic-proposed 2023-08-12 16:26:39 UTC
8.17.1-1 (patches applied)

Author: Stéphane Glondu
Author Date: 2023-08-12 10:49:36 UTC

8.17.1-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/mantic-devel 2023-08-12 16:26:39 UTC
8.17.1-1 (patches applied)

Author: Stéphane Glondu
Author Date: 2023-08-12 10:49:36 UTC

8.17.1-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/mantic 2023-08-12 16:26:39 UTC
8.17.1-1 (patches applied)

Author: Stéphane Glondu
Author Date: 2023-08-12 10:49:36 UTC

8.17.1-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/mantic-devel 2023-08-12 16:26:39 UTC
8.17.1-1 (patches unapplied)

Author: Stéphane Glondu
Author Date: 2023-08-12 10:49:36 UTC

8.17.1-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/mantic-proposed 2023-08-12 16:26:39 UTC
8.17.1-1 (patches unapplied)

Author: Stéphane Glondu
Author Date: 2023-08-12 10:49:36 UTC

8.17.1-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/mantic 2023-08-12 16:26:39 UTC
8.17.1-1 (patches unapplied)

Author: Stéphane Glondu
Author Date: 2023-08-12 10:49:36 UTC

8.17.1-1 (patches unapplied)

Imported using git-ubuntu import.
importer/ubuntu/pristine-tar 2023-04-25 16:39:49 UTC
pristine-tar data for coq-doc_8.16.1.orig.tar.gz

Author: Ubuntu Git Importer
Author Date: 2023-04-25 16:39:49 UTC

pristine-tar data for coq-doc_8.16.1.orig.tar.gz
importer/debian/pristine-tar 2023-04-25 16:39:16 UTC
pristine-tar data for coq-doc_8.16.1.orig.tar.gz

Author: Ubuntu Git Importer
Author Date: 2023-04-25 16:39:16 UTC

pristine-tar data for coq-doc_8.16.1.orig.tar.gz
applied/ubuntu/lunar-proposed 2022-12-10 04:27:46 UTC
8.16.1-1 (patches applied)

Author: Julien Puydt
Author Date: 2022-12-09 20:55:15 UTC

8.16.1-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/lunar-devel 2022-12-10 04:27:46 UTC
8.16.1-1 (patches applied)

Author: Julien Puydt
Author Date: 2022-12-09 20:55:15 UTC

8.16.1-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/lunar 2022-12-10 04:27:46 UTC
8.16.1-1 (patches applied)

Author: Julien Puydt
Author Date: 2022-12-09 20:55:15 UTC

8.16.1-1 (patches applied)

Imported using git-ubuntu import.
debian/bookworm 2022-12-10 04:27:46 UTC
8.16.1-1 (patches unapplied)

Author: Julien Puydt
Author Date: 2022-12-09 20:55:15 UTC

8.16.1-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/lunar 2022-12-10 04:27:46 UTC
8.16.1-1 (patches unapplied)

Author: Julien Puydt
Author Date: 2022-12-09 20:55:15 UTC

8.16.1-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/lunar-devel 2022-12-10 04:27:46 UTC
8.16.1-1 (patches unapplied)

Author: Julien Puydt
Author Date: 2022-12-09 20:55:15 UTC

8.16.1-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/lunar-proposed 2022-12-10 04:27:46 UTC
8.16.1-1 (patches unapplied)

Author: Julien Puydt
Author Date: 2022-12-09 20:55:15 UTC

8.16.1-1 (patches unapplied)

Imported using git-ubuntu import.
applied/debian/bookworm 2022-12-10 04:27:46 UTC
8.16.1-1 (patches applied)

Author: Julien Puydt
Author Date: 2022-12-09 20:55:15 UTC

8.16.1-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/kinetic-proposed 2022-07-14 16:27:15 UTC
8.15.2-3 (patches applied)

Author: Julien Puydt
Author Date: 2022-07-14 10:16:36 UTC

8.15.2-3 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/kinetic-devel 2022-07-14 16:27:15 UTC
8.15.2-3 (patches applied)

Author: Julien Puydt
Author Date: 2022-07-14 10:16:36 UTC

8.15.2-3 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/kinetic 2022-07-14 16:27:15 UTC
8.15.2-3 (patches applied)

Author: Julien Puydt
Author Date: 2022-07-14 10:16:36 UTC

8.15.2-3 (patches applied)

Imported using git-ubuntu import.
ubuntu/kinetic-proposed 2022-07-14 16:27:15 UTC
8.15.2-3 (patches unapplied)

Author: Julien Puydt
Author Date: 2022-07-14 10:16:36 UTC

8.15.2-3 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/kinetic-devel 2022-07-14 16:27:15 UTC
8.15.2-3 (patches unapplied)

Author: Julien Puydt
Author Date: 2022-07-14 10:16:36 UTC

8.15.2-3 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/kinetic 2022-07-14 16:27:15 UTC
8.15.2-3 (patches unapplied)

Author: Julien Puydt
Author Date: 2022-07-14 10:16:36 UTC

8.15.2-3 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/jammy-proposed 2022-02-22 22:32:04 UTC
8.15.0-3 (patches applied)

Author: Julien Puydt
Author Date: 2022-02-22 13:02:25 UTC

8.15.0-3 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/jammy-devel 2022-02-22 22:32:04 UTC
8.15.0-3 (patches applied)

Author: Julien Puydt
Author Date: 2022-02-22 13:02:25 UTC

8.15.0-3 (patches applied)

Imported using git-ubuntu import.
ubuntu/jammy 2022-02-22 22:32:04 UTC
8.15.0-3 (patches unapplied)

Author: Julien Puydt
Author Date: 2022-02-22 13:02:25 UTC

8.15.0-3 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/jammy-proposed 2022-02-22 22:32:04 UTC
8.15.0-3 (patches unapplied)

Author: Julien Puydt
Author Date: 2022-02-22 13:02:25 UTC

8.15.0-3 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/jammy-devel 2022-02-22 22:32:04 UTC
8.15.0-3 (patches unapplied)

Author: Julien Puydt
Author Date: 2022-02-22 13:02:25 UTC

8.15.0-3 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/jammy 2022-02-22 22:32:04 UTC
8.15.0-3 (patches applied)

Author: Julien Puydt
Author Date: 2022-02-22 13:02:25 UTC

8.15.0-3 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/groovy 2017-07-14 10:15:34 UTC
8.6-1 (patches applied)

Author: Hendrik Tews
Author Date: 2017-07-05 20:29:28 UTC

8.6-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/focal-devel 2017-07-14 10:15:34 UTC
8.6-1 (patches applied)

Author: Hendrik Tews
Author Date: 2017-07-05 20:29:28 UTC

8.6-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/disco 2017-07-14 10:15:34 UTC
8.6-1 (patches unapplied)

Author: Hendrik Tews
Author Date: 2017-07-05 20:29:28 UTC

8.6-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/focal 2017-07-14 10:15:34 UTC
8.6-1 (patches applied)

Author: Hendrik Tews
Author Date: 2017-07-05 20:29:28 UTC

8.6-1 (patches applied)

Imported using git-ubuntu import.
debian/buster 2017-07-14 10:15:34 UTC
8.6-1 (patches unapplied)

Author: Hendrik Tews
Author Date: 2017-07-05 20:29:28 UTC

8.6-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/artful-devel 2017-07-14 10:15:34 UTC
8.6-1 (patches unapplied)

Author: Hendrik Tews
Author Date: 2017-07-05 20:29:28 UTC

8.6-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/disco-devel 2017-07-14 10:15:34 UTC
8.6-1 (patches unapplied)

Author: Hendrik Tews
Author Date: 2017-07-05 20:29:28 UTC

8.6-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/bionic-devel 2017-07-14 10:15:34 UTC
8.6-1 (patches applied)

Author: Hendrik Tews
Author Date: 2017-07-05 20:29:28 UTC

8.6-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/artful 2017-07-14 10:15:34 UTC
8.6-1 (patches unapplied)

Author: Hendrik Tews
Author Date: 2017-07-05 20:29:28 UTC

8.6-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/eoan-devel 2017-07-14 10:15:34 UTC
8.6-1 (patches applied)

Author: Hendrik Tews
Author Date: 2017-07-05 20:29:28 UTC

8.6-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/eoan 2017-07-14 10:15:34 UTC
8.6-1 (patches applied)

Author: Hendrik Tews
Author Date: 2017-07-05 20:29:28 UTC

8.6-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/artful-proposed 2017-07-14 10:15:34 UTC
8.6-1 (patches unapplied)

Author: Hendrik Tews
Author Date: 2017-07-05 20:29:28 UTC

8.6-1 (patches unapplied)

Imported using git-ubuntu import.
applied/debian/buster 2017-07-14 10:15:34 UTC
8.6-1 (patches applied)

Author: Hendrik Tews
Author Date: 2017-07-05 20:29:28 UTC

8.6-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/eoan 2017-07-14 10:15:34 UTC
8.6-1 (patches unapplied)

Author: Hendrik Tews
Author Date: 2017-07-05 20:29:28 UTC

8.6-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/bionic 2017-07-14 10:15:34 UTC
8.6-1 (patches applied)

Author: Hendrik Tews
Author Date: 2017-07-05 20:29:28 UTC

8.6-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/artful-proposed 2017-07-14 10:15:34 UTC
8.6-1 (patches applied)

Author: Hendrik Tews
Author Date: 2017-07-05 20:29:28 UTC

8.6-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/impish-devel 2017-07-14 10:15:34 UTC
8.6-1 (patches unapplied)

Author: Hendrik Tews
Author Date: 2017-07-05 20:29:28 UTC

8.6-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/disco-devel 2017-07-14 10:15:34 UTC
8.6-1 (patches applied)

Author: Hendrik Tews
Author Date: 2017-07-05 20:29:28 UTC

8.6-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/artful-devel 2017-07-14 10:15:34 UTC
8.6-1 (patches applied)

Author: Hendrik Tews
Author Date: 2017-07-05 20:29:28 UTC

8.6-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/impish-devel 2017-07-14 10:15:34 UTC
8.6-1 (patches applied)

Author: Hendrik Tews
Author Date: 2017-07-05 20:29:28 UTC

8.6-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/groovy-devel 2017-07-14 10:15:34 UTC
8.6-1 (patches unapplied)

Author: Hendrik Tews
Author Date: 2017-07-05 20:29:28 UTC

8.6-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/hirsute 2017-07-14 10:15:34 UTC
8.6-1 (patches unapplied)

Author: Hendrik Tews
Author Date: 2017-07-05 20:29:28 UTC

8.6-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/impish 2017-07-14 10:15:34 UTC
8.6-1 (patches applied)

Author: Hendrik Tews
Author Date: 2017-07-05 20:29:28 UTC

8.6-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/disco 2017-07-14 10:15:34 UTC
8.6-1 (patches applied)

Author: Hendrik Tews
Author Date: 2017-07-05 20:29:28 UTC

8.6-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/hirsute-devel 2017-07-14 10:15:34 UTC
8.6-1 (patches unapplied)

Author: Hendrik Tews
Author Date: 2017-07-05 20:29:28 UTC

8.6-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/eoan-devel 2017-07-14 10:15:34 UTC
8.6-1 (patches unapplied)

Author: Hendrik Tews
Author Date: 2017-07-05 20:29:28 UTC

8.6-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/bionic-devel 2017-07-14 10:15:34 UTC
8.6-1 (patches unapplied)

Author: Hendrik Tews
Author Date: 2017-07-05 20:29:28 UTC

8.6-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/impish 2017-07-14 10:15:34 UTC
8.6-1 (patches unapplied)

Author: Hendrik Tews
Author Date: 2017-07-05 20:29:28 UTC

8.6-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/focal-devel 2017-07-14 10:15:34 UTC
8.6-1 (patches unapplied)

Author: Hendrik Tews
Author Date: 2017-07-05 20:29:28 UTC

8.6-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/hirsute-devel 2017-07-14 10:15:34 UTC
8.6-1 (patches applied)

Author: Hendrik Tews
Author Date: 2017-07-05 20:29:28 UTC

8.6-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/groovy 2017-07-14 10:15:34 UTC
8.6-1 (patches unapplied)

Author: Hendrik Tews
Author Date: 2017-07-05 20:29:28 UTC

8.6-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/hirsute 2017-07-14 10:15:34 UTC
8.6-1 (patches applied)

Author: Hendrik Tews
Author Date: 2017-07-05 20:29:28 UTC

8.6-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/artful 2017-07-14 10:15:34 UTC
8.6-1 (patches applied)

Author: Hendrik Tews
Author Date: 2017-07-05 20:29:28 UTC

8.6-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/focal 2017-07-14 10:15:34 UTC
8.6-1 (patches unapplied)

Author: Hendrik Tews
Author Date: 2017-07-05 20:29:28 UTC

8.6-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/cosmic 2017-07-14 10:15:34 UTC
8.6-1 (patches unapplied)

Author: Hendrik Tews
Author Date: 2017-07-05 20:29:28 UTC

8.6-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/bionic 2017-07-14 10:15:34 UTC
8.6-1 (patches unapplied)

Author: Hendrik Tews
Author Date: 2017-07-05 20:29:28 UTC

8.6-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/cosmic-devel 2017-07-14 10:15:34 UTC
8.6-1 (patches applied)

Author: Hendrik Tews
Author Date: 2017-07-05 20:29:28 UTC

8.6-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/groovy-devel 2017-07-14 10:15:34 UTC
8.6-1 (patches applied)

Author: Hendrik Tews
Author Date: 2017-07-05 20:29:28 UTC

8.6-1 (patches applied)

Imported using git-ubuntu import.
1 → 100 of 222 results First • Previous • • Last

Other repositories

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