Ubuntu
coq-doc package

View Bazaar branches
Get this repository:
git clone https://git.not.enabled/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 2023-08-12 17:28:35 UTC
DSC file for 8.17.1-1

Author: Ubuntu Git Importer
Author Date: 2023-08-12 17:28:35 UTC

DSC file for 8.17.1-1
importer/debian/dsc 2023-08-12 16:38:02 UTC
DSC file for 8.17.1-1

Author: Ubuntu Git Importer
Author Date: 2023-08-12 16:38:02 UTC

DSC file for 8.17.1-1
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.
ubuntu/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.
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-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-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/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.
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.
applied/debian/sid 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.
debian/sid 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
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.
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.
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/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-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.
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-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.
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.
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.
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/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 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/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-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/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-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 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/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 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.
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.
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.
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.
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.
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.
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 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.
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/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/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/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.
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/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/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.
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.
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.
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.
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.
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/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/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 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/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.
ubuntu/vivid-proposed 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.
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.
applied/ubuntu/vivid-proposed 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.
applied/ubuntu/vivid-devel 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.
applied/ubuntu/vivid 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.
debian/jessie 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/ubuntu/wily-devel 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 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.
1 → 100 of 194 results First • Previous • • Last

Other repositories

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