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 2024-01-25 23:19:36 UTC
DSC file for 8.18.0-1

Author: Ubuntu Git Importer
Author Date: 2024-01-25 23:19:36 UTC

DSC file for 8.18.0-1

importer/debian/dsc 2024-01-25 22:38:52 UTC
DSC file for 8.18.0-1

Author: Ubuntu Git Importer
Author Date: 2024-01-25 22:38:52 UTC

DSC file for 8.18.0-1

debian/sid 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/debian/sid 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/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-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.

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/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.

applied/ubuntu/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-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/noble 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/noble 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-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 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.

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.

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.

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.

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 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.

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.

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.

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/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.

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.

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/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/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.

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.

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.

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.

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.

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/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/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.

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/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.

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.

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/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/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.

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/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.

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/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.

applied/ubuntu/cosmic 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/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/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.

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/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.

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/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.

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.

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/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.

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/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.

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/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/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.

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.

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/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/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/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/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.

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/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.

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.

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/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/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.

ubuntu/cosmic-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.

debian/stretch 2016-02-12 04:11:08 UTC
8.4pl4-2 (patches unapplied)

Author: Ralf Treinen
Author Date: 2016-02-11 21:26:54 UTC

8.4pl4-2 (patches unapplied)

Imported using git-ubuntu import.

applied/ubuntu/xenial 2016-02-12 04:11:08 UTC
8.4pl4-2 (patches applied)

Author: Ralf Treinen
Author Date: 2016-02-11 21:26:54 UTC

8.4pl4-2 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/xenial-devel 2016-02-12 04:11:08 UTC
8.4pl4-2 (patches applied)

Author: Ralf Treinen
Author Date: 2016-02-11 21:26:54 UTC

8.4pl4-2 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/xenial-proposed 2016-02-12 04:11:08 UTC
8.4pl4-2 (patches applied)

Author: Ralf Treinen
Author Date: 2016-02-11 21:26:54 UTC

8.4pl4-2 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/yakkety 2016-02-12 04:11:08 UTC
8.4pl4-2 (patches applied)

Author: Ralf Treinen
Author Date: 2016-02-11 21:26:54 UTC

8.4pl4-2 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/yakkety-devel 2016-02-12 04:11:08 UTC
8.4pl4-2 (patches applied)

Author: Ralf Treinen
Author Date: 2016-02-11 21:26:54 UTC

8.4pl4-2 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/zesty 2016-02-12 04:11:08 UTC
8.4pl4-2 (patches applied)

Author: Ralf Treinen
Author Date: 2016-02-11 21:26:54 UTC

8.4pl4-2 (patches applied)

Imported using git-ubuntu import.

applied/ubuntu/zesty-devel 2016-02-12 04:11:08 UTC
8.4pl4-2 (patches applied)

Author: Ralf Treinen
Author Date: 2016-02-11 21:26:54 UTC

8.4pl4-2 (patches applied)

Imported using git-ubuntu import.

ubuntu/xenial-devel 2016-02-12 04:11:08 UTC
8.4pl4-2 (patches unapplied)

Author: Ralf Treinen
Author Date: 2016-02-11 21:26:54 UTC

8.4pl4-2 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/xenial-proposed 2016-02-12 04:11:08 UTC
8.4pl4-2 (patches unapplied)

Author: Ralf Treinen
Author Date: 2016-02-11 21:26:54 UTC

8.4pl4-2 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/xenial 2016-02-12 04:11:08 UTC
8.4pl4-2 (patches unapplied)

Author: Ralf Treinen
Author Date: 2016-02-11 21:26:54 UTC

8.4pl4-2 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/yakkety 2016-02-12 04:11:08 UTC
8.4pl4-2 (patches unapplied)

Author: Ralf Treinen
Author Date: 2016-02-11 21:26:54 UTC

8.4pl4-2 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/yakkety-devel 2016-02-12 04:11:08 UTC
8.4pl4-2 (patches unapplied)

Author: Ralf Treinen
Author Date: 2016-02-11 21:26:54 UTC

8.4pl4-2 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/zesty-devel 2016-02-12 04:11:08 UTC
8.4pl4-2 (patches unapplied)

Author: Ralf Treinen
Author Date: 2016-02-11 21:26:54 UTC

8.4pl4-2 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/zesty 2016-02-12 04:11:08 UTC
8.4pl4-2 (patches unapplied)

Author: Ralf Treinen
Author Date: 2016-02-11 21:26:54 UTC

8.4pl4-2 (patches unapplied)

Imported using git-ubuntu import.

applied/debian/stretch 2016-02-12 04:11:08 UTC
8.4pl4-2 (patches applied)

Author: Ralf Treinen
Author Date: 2016-02-11 21:26:54 UTC

8.4pl4-2 (patches applied)

Imported using git-ubuntu import.

ubuntu/vivid 2014-08-17 16:11:35 UTC
8.4pl4-1 (patches unapplied)

Author: Stéphane Glondu
Author Date: 2014-08-17 12:36:07 UTC

8.4pl4-1 (patches unapplied)

Imported using git-ubuntu import.

ubuntu/vivid-devel 2014-08-17 16:11:35 UTC
8.4pl4-1 (patches unapplied)

Author: Stéphane Glondu
Author Date: 2014-08-17 12:36:07 UTC

8.4pl4-1 (patches unapplied)

Imported using git-ubuntu import.

applied/debian/jessie 2014-08-17 16:11:35 UTC
8.4pl4-1 (patches applied)

Author: Stéphane Glondu
Author Date: 2014-08-17 12:36:07 UTC

8.4pl4-1 (patches applied)

Imported using git-ubuntu import.

ubuntu/wily-devel 2014-08-17 16:11:35 UTC
8.4pl4-1 (patches unapplied)

Author: Stéphane Glondu
Author Date: 2014-08-17 12:36:07 UTC

8.4pl4-1 (patches unapplied)

Imported using git-ubuntu import.

1100 of 200 results

Other repositories

Name Last Modified
lp:ubuntu/+source/coq-doc 2024-01-25
11 of 1 result
You can't create new repositories for coq-doc in Ubuntu.