Ubuntu
proofgeneral package

View Bazaar branches
Get this repository:
git clone https://git.launchpad.net/ubuntu/+source/proofgeneral
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-11-28 00:00:46 UTC
DSC file for 4.5-3

Author: Ubuntu Git Importer
Author Date: 2024-11-28 00:00:46 UTC

DSC file for 4.5-3
importer/debian/dsc 2024-11-27 22:39:34 UTC
DSC file for 4.5-3

Author: Ubuntu Git Importer
Author Date: 2024-11-27 22:39:34 UTC

DSC file for 4.5-3
ubuntu/plucky-devel 2024-11-27 22:36:04 UTC
4.5-3 (patches unapplied)

Author: Julien Puydt
Author Date: 2024-11-27 17:28:17 UTC

4.5-3 (patches unapplied)

Imported using git-ubuntu import.
debian/sid 2024-11-27 22:36:04 UTC
4.5-3 (patches unapplied)

Author: Julien Puydt
Author Date: 2024-11-27 17:28:17 UTC

4.5-3 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/plucky-proposed 2024-11-27 22:36:04 UTC
4.5-3 (patches applied)

Author: Julien Puydt
Author Date: 2024-11-27 17:28:17 UTC

4.5-3 (patches applied)

Imported using git-ubuntu import.
ubuntu/plucky-proposed 2024-11-27 22:36:04 UTC
4.5-3 (patches unapplied)

Author: Julien Puydt
Author Date: 2024-11-27 17:28:17 UTC

4.5-3 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/plucky 2024-11-27 22:36:04 UTC
4.5-3 (patches unapplied)

Author: Julien Puydt
Author Date: 2024-11-27 17:28:17 UTC

4.5-3 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/plucky 2024-11-27 22:36:04 UTC
4.5-3 (patches applied)

Author: Julien Puydt
Author Date: 2024-11-27 17:28:17 UTC

4.5-3 (patches applied)

Imported using git-ubuntu import.
applied/debian/sid 2024-11-27 22:36:04 UTC
4.5-3 (patches applied)

Author: Julien Puydt
Author Date: 2024-11-27 17:28:17 UTC

4.5-3 (patches applied)

Imported using git-ubuntu import.
ubuntu/devel 2024-11-27 22:36:04 UTC
4.5-3 (patches unapplied)

Author: Julien Puydt
Author Date: 2024-11-27 17:28:17 UTC

4.5-3 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/devel 2024-11-27 22:36:04 UTC
4.5-3 (patches applied)

Author: Julien Puydt
Author Date: 2024-11-27 17:28:17 UTC

4.5-3 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/plucky-devel 2024-11-27 22:36:04 UTC
4.5-3 (patches applied)

Author: Julien Puydt
Author Date: 2024-11-27 17:28:17 UTC

4.5-3 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/noble 2023-08-17 16:36:19 UTC
4.5-1 (patches applied)

Author: Julien Puydt
Author Date: 2023-08-17 12:37:53 UTC

4.5-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/oracular 2023-08-17 16:36:19 UTC
4.5-1 (patches unapplied)

Author: Julien Puydt
Author Date: 2023-08-17 12:37:53 UTC

4.5-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/mantic 2023-08-17 16:36:19 UTC
4.5-1 (patches applied)

Author: Julien Puydt
Author Date: 2023-08-17 12:37:53 UTC

4.5-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/oracular-devel 2023-08-17 16:36:19 UTC
4.5-1 (patches unapplied)

Author: Julien Puydt
Author Date: 2023-08-17 12:37:53 UTC

4.5-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/mantic-devel 2023-08-17 16:36:19 UTC
4.5-1 (patches unapplied)

Author: Julien Puydt
Author Date: 2023-08-17 12:37:53 UTC

4.5-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/mantic-proposed 2023-08-17 16:36:19 UTC
4.5-1 (patches unapplied)

Author: Julien Puydt
Author Date: 2023-08-17 12:37:53 UTC

4.5-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/noble-devel 2023-08-17 16:36:19 UTC
4.5-1 (patches unapplied)

Author: Julien Puydt
Author Date: 2023-08-17 12:37:53 UTC

4.5-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/mantic 2023-08-17 16:36:19 UTC
4.5-1 (patches unapplied)

Author: Julien Puydt
Author Date: 2023-08-17 12:37:53 UTC

4.5-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/oracular-devel 2023-08-17 16:36:19 UTC
4.5-1 (patches applied)

Author: Julien Puydt
Author Date: 2023-08-17 12:37:53 UTC

4.5-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/noble 2023-08-17 16:36:19 UTC
4.5-1 (patches unapplied)

Author: Julien Puydt
Author Date: 2023-08-17 12:37:53 UTC

4.5-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/mantic-proposed 2023-08-17 16:36:19 UTC
4.5-1 (patches applied)

Author: Julien Puydt
Author Date: 2023-08-17 12:37:53 UTC

4.5-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/noble-devel 2023-08-17 16:36:19 UTC
4.5-1 (patches applied)

Author: Julien Puydt
Author Date: 2023-08-17 12:37:53 UTC

4.5-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/mantic-devel 2023-08-17 16:36:19 UTC
4.5-1 (patches applied)

Author: Julien Puydt
Author Date: 2023-08-17 12:37:53 UTC

4.5-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/oracular 2023-08-17 16:36:19 UTC
4.5-1 (patches applied)

Author: Julien Puydt
Author Date: 2023-08-17 12:37:53 UTC

4.5-1 (patches applied)

Imported using git-ubuntu import.
importer/ubuntu/pristine-tar 2022-09-03 18:23:59 UTC
pristine-tar data for proofgeneral_4.3~pre130510.orig.tar.gz

Author: Ubuntu Git Importer
Author Date: 2022-09-03 18:23:59 UTC

pristine-tar data for proofgeneral_4.3~pre130510.orig.tar.gz
importer/debian/pristine-tar 2022-09-03 18:23:47 UTC
pristine-tar data for proofgeneral_4.3~pre130510.orig.tar.gz

Author: Ubuntu Git Importer
Author Date: 2022-09-03 18:23:47 UTC

pristine-tar data for proofgeneral_4.3~pre130510.orig.tar.gz
applied/ubuntu/focal-devel 2019-12-19 16:40:24 UTC
4.4.1~pre170114-1.2 (patches applied)

Author: Gard Spreemann
Author Date: 2019-12-16 16:50:59 UTC

4.4.1~pre170114-1.2 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/focal 2019-12-19 16:40:24 UTC
4.4.1~pre170114-1.2 (patches applied)

Author: Gard Spreemann
Author Date: 2019-12-16 16:50:59 UTC

4.4.1~pre170114-1.2 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/lunar-devel 2019-12-19 16:40:24 UTC
4.4.1~pre170114-1.2 (patches applied)

Author: Gard Spreemann
Author Date: 2019-12-16 16:50:59 UTC

4.4.1~pre170114-1.2 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/lunar 2019-12-19 16:40:24 UTC
4.4.1~pre170114-1.2 (patches applied)

Author: Gard Spreemann
Author Date: 2019-12-16 16:50:59 UTC

4.4.1~pre170114-1.2 (patches applied)

Imported using git-ubuntu import.
applied/debian/bookworm 2019-12-19 16:40:24 UTC
4.4.1~pre170114-1.2 (patches applied)

Author: Gard Spreemann
Author Date: 2019-12-16 16:50:59 UTC

4.4.1~pre170114-1.2 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/kinetic-devel 2019-12-19 16:40:24 UTC
4.4.1~pre170114-1.2 (patches applied)

Author: Gard Spreemann
Author Date: 2019-12-16 16:50:59 UTC

4.4.1~pre170114-1.2 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/kinetic 2019-12-19 16:40:24 UTC
4.4.1~pre170114-1.2 (patches applied)

Author: Gard Spreemann
Author Date: 2019-12-16 16:50:59 UTC

4.4.1~pre170114-1.2 (patches applied)

Imported using git-ubuntu import.
ubuntu/focal 2019-12-19 16:40:24 UTC
4.4.1~pre170114-1.2 (patches unapplied)

Author: Gard Spreemann
Author Date: 2019-12-16 16:50:59 UTC

4.4.1~pre170114-1.2 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/impish 2019-12-19 16:40:24 UTC
4.4.1~pre170114-1.2 (patches unapplied)

Author: Gard Spreemann
Author Date: 2019-12-16 16:50:59 UTC

4.4.1~pre170114-1.2 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/jammy-devel 2019-12-19 16:40:24 UTC
4.4.1~pre170114-1.2 (patches applied)

Author: Gard Spreemann
Author Date: 2019-12-16 16:50:59 UTC

4.4.1~pre170114-1.2 (patches applied)

Imported using git-ubuntu import.
ubuntu/kinetic-devel 2019-12-19 16:40:24 UTC
4.4.1~pre170114-1.2 (patches unapplied)

Author: Gard Spreemann
Author Date: 2019-12-16 16:50:59 UTC

4.4.1~pre170114-1.2 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/groovy 2019-12-19 16:40:24 UTC
4.4.1~pre170114-1.2 (patches unapplied)

Author: Gard Spreemann
Author Date: 2019-12-16 16:50:59 UTC

4.4.1~pre170114-1.2 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/impish 2019-12-19 16:40:24 UTC
4.4.1~pre170114-1.2 (patches applied)

Author: Gard Spreemann
Author Date: 2019-12-16 16:50:59 UTC

4.4.1~pre170114-1.2 (patches applied)

Imported using git-ubuntu import.
ubuntu/lunar-devel 2019-12-19 16:40:24 UTC
4.4.1~pre170114-1.2 (patches unapplied)

Author: Gard Spreemann
Author Date: 2019-12-16 16:50:59 UTC

4.4.1~pre170114-1.2 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/impish-devel 2019-12-19 16:40:24 UTC
4.4.1~pre170114-1.2 (patches applied)

Author: Gard Spreemann
Author Date: 2019-12-16 16:50:59 UTC

4.4.1~pre170114-1.2 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/hirsute-devel 2019-12-19 16:40:24 UTC
4.4.1~pre170114-1.2 (patches applied)

Author: Gard Spreemann
Author Date: 2019-12-16 16:50:59 UTC

4.4.1~pre170114-1.2 (patches applied)

Imported using git-ubuntu import.
debian/bookworm 2019-12-19 16:40:24 UTC
4.4.1~pre170114-1.2 (patches unapplied)

Author: Gard Spreemann
Author Date: 2019-12-16 16:50:59 UTC

4.4.1~pre170114-1.2 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/lunar 2019-12-19 16:40:24 UTC
4.4.1~pre170114-1.2 (patches unapplied)

Author: Gard Spreemann
Author Date: 2019-12-16 16:50:59 UTC

4.4.1~pre170114-1.2 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/hirsute 2019-12-19 16:40:24 UTC
4.4.1~pre170114-1.2 (patches applied)

Author: Gard Spreemann
Author Date: 2019-12-16 16:50:59 UTC

4.4.1~pre170114-1.2 (patches applied)

Imported using git-ubuntu import.
ubuntu/groovy-devel 2019-12-19 16:40:24 UTC
4.4.1~pre170114-1.2 (patches unapplied)

Author: Gard Spreemann
Author Date: 2019-12-16 16:50:59 UTC

4.4.1~pre170114-1.2 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/focal-proposed 2019-12-19 16:40:24 UTC
4.4.1~pre170114-1.2 (patches unapplied)

Author: Gard Spreemann
Author Date: 2019-12-16 16:50:59 UTC

4.4.1~pre170114-1.2 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/jammy-devel 2019-12-19 16:40:24 UTC
4.4.1~pre170114-1.2 (patches unapplied)

Author: Gard Spreemann
Author Date: 2019-12-16 16:50:59 UTC

4.4.1~pre170114-1.2 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/hirsute 2019-12-19 16:40:24 UTC
4.4.1~pre170114-1.2 (patches unapplied)

Author: Gard Spreemann
Author Date: 2019-12-16 16:50:59 UTC

4.4.1~pre170114-1.2 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/impish-devel 2019-12-19 16:40:24 UTC
4.4.1~pre170114-1.2 (patches unapplied)

Author: Gard Spreemann
Author Date: 2019-12-16 16:50:59 UTC

4.4.1~pre170114-1.2 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/kinetic 2019-12-19 16:40:24 UTC
4.4.1~pre170114-1.2 (patches unapplied)

Author: Gard Spreemann
Author Date: 2019-12-16 16:50:59 UTC

4.4.1~pre170114-1.2 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/groovy-devel 2019-12-19 16:40:24 UTC
4.4.1~pre170114-1.2 (patches applied)

Author: Gard Spreemann
Author Date: 2019-12-16 16:50:59 UTC

4.4.1~pre170114-1.2 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/jammy 2019-12-19 16:40:24 UTC
4.4.1~pre170114-1.2 (patches applied)

Author: Gard Spreemann
Author Date: 2019-12-16 16:50:59 UTC

4.4.1~pre170114-1.2 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/groovy 2019-12-19 16:40:24 UTC
4.4.1~pre170114-1.2 (patches applied)

Author: Gard Spreemann
Author Date: 2019-12-16 16:50:59 UTC

4.4.1~pre170114-1.2 (patches applied)

Imported using git-ubuntu import.
applied/debian/bullseye 2019-12-19 16:40:24 UTC
4.4.1~pre170114-1.2 (patches applied)

Author: Gard Spreemann
Author Date: 2019-12-16 16:50:59 UTC

4.4.1~pre170114-1.2 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/focal-proposed 2019-12-19 16:40:24 UTC
4.4.1~pre170114-1.2 (patches applied)

Author: Gard Spreemann
Author Date: 2019-12-16 16:50:59 UTC

4.4.1~pre170114-1.2 (patches applied)

Imported using git-ubuntu import.
ubuntu/focal-devel 2019-12-19 16:40:24 UTC
4.4.1~pre170114-1.2 (patches unapplied)

Author: Gard Spreemann
Author Date: 2019-12-16 16:50:59 UTC

4.4.1~pre170114-1.2 (patches unapplied)

Imported using git-ubuntu import.
debian/bullseye 2019-12-19 16:40:24 UTC
4.4.1~pre170114-1.2 (patches unapplied)

Author: Gard Spreemann
Author Date: 2019-12-16 16:50:59 UTC

4.4.1~pre170114-1.2 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/jammy 2019-12-19 16:40:24 UTC
4.4.1~pre170114-1.2 (patches unapplied)

Author: Gard Spreemann
Author Date: 2019-12-16 16:50:59 UTC

4.4.1~pre170114-1.2 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/hirsute-devel 2019-12-19 16:40:24 UTC
4.4.1~pre170114-1.2 (patches unapplied)

Author: Gard Spreemann
Author Date: 2019-12-16 16:50:59 UTC

4.4.1~pre170114-1.2 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/eoan 2019-10-01 21:41:05 UTC
4.4.1~pre170114-1.1ubuntu1 (patches unapplied)

Author: Steve Langasek
Author Date: 2019-10-01 21:38:55 UTC

4.4.1~pre170114-1.1ubuntu1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/eoan-proposed 2019-10-01 21:41:05 UTC
4.4.1~pre170114-1.1ubuntu1 (patches unapplied)

Author: Steve Langasek
Author Date: 2019-10-01 21:38:55 UTC

4.4.1~pre170114-1.1ubuntu1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/eoan-devel 2019-10-01 21:41:05 UTC
4.4.1~pre170114-1.1ubuntu1 (patches unapplied)

Author: Steve Langasek
Author Date: 2019-10-01 21:38:55 UTC

4.4.1~pre170114-1.1ubuntu1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/eoan-proposed 2019-10-01 21:41:05 UTC
4.4.1~pre170114-1.1ubuntu1 (patches applied)

Author: Steve Langasek
Author Date: 2019-10-01 21:38:55 UTC

4.4.1~pre170114-1.1ubuntu1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/eoan-devel 2019-10-01 21:41:05 UTC
4.4.1~pre170114-1.1ubuntu1 (patches applied)

Author: Steve Langasek
Author Date: 2019-10-01 21:38:55 UTC

4.4.1~pre170114-1.1ubuntu1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/eoan 2019-10-01 21:41:05 UTC
4.4.1~pre170114-1.1ubuntu1 (patches applied)

Author: Steve Langasek
Author Date: 2019-10-01 21:38:55 UTC

4.4.1~pre170114-1.1ubuntu1 (patches applied)

Imported using git-ubuntu import.
ubuntu/disco-devel 2017-01-17 04:23:10 UTC
4.4.1~pre170114-1 (patches unapplied)

Author: Hendrik Tews
Author Date: 2017-01-16 16:30:55 UTC

4.4.1~pre170114-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/cosmic-devel 2017-01-17 04:23:10 UTC
4.4.1~pre170114-1 (patches unapplied)

Author: Hendrik Tews
Author Date: 2017-01-16 16:30:55 UTC

4.4.1~pre170114-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/bionic-devel 2017-01-17 04:23:10 UTC
4.4.1~pre170114-1 (patches applied)

Author: Hendrik Tews
Author Date: 2017-01-16 16:30:55 UTC

4.4.1~pre170114-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/artful-devel 2017-01-17 04:23:10 UTC
4.4.1~pre170114-1 (patches unapplied)

Author: Hendrik Tews
Author Date: 2017-01-16 16:30:55 UTC

4.4.1~pre170114-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/disco 2017-01-17 04:23:10 UTC
4.4.1~pre170114-1 (patches unapplied)

Author: Hendrik Tews
Author Date: 2017-01-16 16:30:55 UTC

4.4.1~pre170114-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/bionic 2017-01-17 04:23:10 UTC
4.4.1~pre170114-1 (patches applied)

Author: Hendrik Tews
Author Date: 2017-01-16 16:30:55 UTC

4.4.1~pre170114-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/cosmic 2017-01-17 04:23:10 UTC
4.4.1~pre170114-1 (patches unapplied)

Author: Hendrik Tews
Author Date: 2017-01-16 16:30:55 UTC

4.4.1~pre170114-1 (patches unapplied)

Imported using git-ubuntu import.
debian/buster 2017-01-17 04:23:10 UTC
4.4.1~pre170114-1 (patches unapplied)

Author: Hendrik Tews
Author Date: 2017-01-16 16:30:55 UTC

4.4.1~pre170114-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/artful-devel 2017-01-17 04:23:10 UTC
4.4.1~pre170114-1 (patches applied)

Author: Hendrik Tews
Author Date: 2017-01-16 16:30:55 UTC

4.4.1~pre170114-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/zesty 2017-01-17 04:23:10 UTC
4.4.1~pre170114-1 (patches unapplied)

Author: Hendrik Tews
Author Date: 2017-01-16 16:30:55 UTC

4.4.1~pre170114-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/disco-devel 2017-01-17 04:23:10 UTC
4.4.1~pre170114-1 (patches applied)

Author: Hendrik Tews
Author Date: 2017-01-16 16:30:55 UTC

4.4.1~pre170114-1 (patches applied)

Imported using git-ubuntu import.
applied/debian/buster 2017-01-17 04:23:10 UTC
4.4.1~pre170114-1 (patches applied)

Author: Hendrik Tews
Author Date: 2017-01-16 16:30:55 UTC

4.4.1~pre170114-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/artful 2017-01-17 04:23:10 UTC
4.4.1~pre170114-1 (patches unapplied)

Author: Hendrik Tews
Author Date: 2017-01-16 16:30:55 UTC

4.4.1~pre170114-1 (patches unapplied)

Imported using git-ubuntu import.
ubuntu/zesty-devel 2017-01-17 04:23:10 UTC
4.4.1~pre170114-1 (patches unapplied)

Author: Hendrik Tews
Author Date: 2017-01-16 16:30:55 UTC

4.4.1~pre170114-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/zesty-proposed 2017-01-17 04:23:10 UTC
4.4.1~pre170114-1 (patches applied)

Author: Hendrik Tews
Author Date: 2017-01-16 16:30:55 UTC

4.4.1~pre170114-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/disco 2017-01-17 04:23:10 UTC
4.4.1~pre170114-1 (patches applied)

Author: Hendrik Tews
Author Date: 2017-01-16 16:30:55 UTC

4.4.1~pre170114-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/bionic 2017-01-17 04:23:10 UTC
4.4.1~pre170114-1 (patches unapplied)

Author: Hendrik Tews
Author Date: 2017-01-16 16:30:55 UTC

4.4.1~pre170114-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/artful 2017-01-17 04:23:10 UTC
4.4.1~pre170114-1 (patches applied)

Author: Hendrik Tews
Author Date: 2017-01-16 16:30:55 UTC

4.4.1~pre170114-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/zesty-proposed 2017-01-17 04:23:10 UTC
4.4.1~pre170114-1 (patches unapplied)

Author: Hendrik Tews
Author Date: 2017-01-16 16:30:55 UTC

4.4.1~pre170114-1 (patches unapplied)

Imported using git-ubuntu import.
debian/stretch 2017-01-17 04:23:10 UTC
4.4.1~pre170114-1 (patches unapplied)

Author: Hendrik Tews
Author Date: 2017-01-16 16:30:55 UTC

4.4.1~pre170114-1 (patches unapplied)

Imported using git-ubuntu import.
applied/debian/stretch 2017-01-17 04:23:10 UTC
4.4.1~pre170114-1 (patches applied)

Author: Hendrik Tews
Author Date: 2017-01-16 16:30:55 UTC

4.4.1~pre170114-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/cosmic-devel 2017-01-17 04:23:10 UTC
4.4.1~pre170114-1 (patches applied)

Author: Hendrik Tews
Author Date: 2017-01-16 16:30:55 UTC

4.4.1~pre170114-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/cosmic 2017-01-17 04:23:10 UTC
4.4.1~pre170114-1 (patches applied)

Author: Hendrik Tews
Author Date: 2017-01-16 16:30:55 UTC

4.4.1~pre170114-1 (patches applied)

Imported using git-ubuntu import.
ubuntu/bionic-devel 2017-01-17 04:23:10 UTC
4.4.1~pre170114-1 (patches unapplied)

Author: Hendrik Tews
Author Date: 2017-01-16 16:30:55 UTC

4.4.1~pre170114-1 (patches unapplied)

Imported using git-ubuntu import.
applied/ubuntu/zesty-devel 2017-01-17 04:23:10 UTC
4.4.1~pre170114-1 (patches applied)

Author: Hendrik Tews
Author Date: 2017-01-16 16:30:55 UTC

4.4.1~pre170114-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/zesty 2017-01-17 04:23:10 UTC
4.4.1~pre170114-1 (patches applied)

Author: Hendrik Tews
Author Date: 2017-01-16 16:30:55 UTC

4.4.1~pre170114-1 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/yakkety-devel 2014-11-16 22:21:35 UTC
4.3~pre131011-0.2 (patches applied)

Author: intrigeri
Author Date: 2014-11-16 16:46:59 UTC

4.3~pre131011-0.2 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/yakkety 2014-11-16 22:21:35 UTC
4.3~pre131011-0.2 (patches applied)

Author: intrigeri
Author Date: 2014-11-16 16:46:59 UTC

4.3~pre131011-0.2 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/xenial-devel 2014-11-16 22:21:35 UTC
4.3~pre131011-0.2 (patches applied)

Author: intrigeri
Author Date: 2014-11-16 16:46:59 UTC

4.3~pre131011-0.2 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/xenial 2014-11-16 22:21:35 UTC
4.3~pre131011-0.2 (patches applied)

Author: intrigeri
Author Date: 2014-11-16 16:46:59 UTC

4.3~pre131011-0.2 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/wily-devel 2014-11-16 22:21:35 UTC
4.3~pre131011-0.2 (patches applied)

Author: intrigeri
Author Date: 2014-11-16 16:46:59 UTC

4.3~pre131011-0.2 (patches applied)

Imported using git-ubuntu import.
applied/ubuntu/wily 2014-11-16 22:21:35 UTC
4.3~pre131011-0.2 (patches applied)

Author: intrigeri
Author Date: 2014-11-16 16:46:59 UTC

4.3~pre131011-0.2 (patches applied)

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

Other repositories

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