Git : Code : z3 package : Ubuntu

Ubuntu
z3 package

Overview
Code
Bugs
Blueprints
Translations
Answers

View Bazaar branches

Get this repository:: git clone https://git.launchpad.net/ubuntu/+source/z3

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-02-05 00:50:27 UTC 2023-02-05	DSC file for 4.8.12-3.1 Author: Ubuntu Git Importer Author Date: 2023-02-05 00:50:27 UTC DSC file for 4.8.12-3.1
importer/debian/dsc	2023-02-01 22:47:53 UTC 2023-02-01	DSC file for 4.8.12-3.1 Author: Ubuntu Git Importer Author Date: 2023-02-01 22:47:53 UTC DSC file for 4.8.12-3.1
applied/ubuntu/mantic	2023-02-01 22:44:09 UTC 2023-02-01	4.8.12-3.1 (patches applied) Author: Manuel A. Fernandez Montecelo Author Date: 2023-02-01 12:06:03 UTC 4.8.12-3.1 (patches applied) Imported using git-ubuntu import.
ubuntu/mantic-devel	2023-02-01 22:44:09 UTC 2023-02-01	4.8.12-3.1 (patches unapplied) Author: Manuel A. Fernandez Montecelo Author Date: 2023-02-01 12:06:03 UTC 4.8.12-3.1 (patches unapplied) Imported using git-ubuntu import.
applied/debian/sid	2023-02-01 22:44:09 UTC 2023-02-01	4.8.12-3.1 (patches applied) Author: Manuel A. Fernandez Montecelo Author Date: 2023-02-01 12:06:03 UTC 4.8.12-3.1 (patches applied) Imported using git-ubuntu import.
ubuntu/mantic	2023-02-01 22:44:09 UTC 2023-02-01	4.8.12-3.1 (patches unapplied) Author: Manuel A. Fernandez Montecelo Author Date: 2023-02-01 12:06:03 UTC 4.8.12-3.1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/lunar-proposed	2023-02-01 22:44:09 UTC 2023-02-01	4.8.12-3.1 (patches unapplied) Author: Manuel A. Fernandez Montecelo Author Date: 2023-02-01 12:06:03 UTC 4.8.12-3.1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/lunar-devel	2023-02-01 22:44:09 UTC 2023-02-01	4.8.12-3.1 (patches unapplied) Author: Manuel A. Fernandez Montecelo Author Date: 2023-02-01 12:06:03 UTC 4.8.12-3.1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/lunar	2023-02-01 22:44:09 UTC 2023-02-01	4.8.12-3.1 (patches unapplied) Author: Manuel A. Fernandez Montecelo Author Date: 2023-02-01 12:06:03 UTC 4.8.12-3.1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/lunar	2023-02-01 22:44:09 UTC 2023-02-01	4.8.12-3.1 (patches applied) Author: Manuel A. Fernandez Montecelo Author Date: 2023-02-01 12:06:03 UTC 4.8.12-3.1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/lunar-proposed	2023-02-01 22:44:09 UTC 2023-02-01	4.8.12-3.1 (patches applied) Author: Manuel A. Fernandez Montecelo Author Date: 2023-02-01 12:06:03 UTC 4.8.12-3.1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/devel	2023-02-01 22:44:09 UTC 2023-02-01	4.8.12-3.1 (patches applied) Author: Manuel A. Fernandez Montecelo Author Date: 2023-02-01 12:06:03 UTC 4.8.12-3.1 (patches applied) Imported using git-ubuntu import.
ubuntu/devel	2023-02-01 22:44:09 UTC 2023-02-01	4.8.12-3.1 (patches unapplied) Author: Manuel A. Fernandez Montecelo Author Date: 2023-02-01 12:06:03 UTC 4.8.12-3.1 (patches unapplied) Imported using git-ubuntu import.
debian/sid	2023-02-01 22:44:09 UTC 2023-02-01	4.8.12-3.1 (patches unapplied) Author: Manuel A. Fernandez Montecelo Author Date: 2023-02-01 12:06:03 UTC 4.8.12-3.1 (patches unapplied) Imported using git-ubuntu import.
debian/bookworm	2023-02-01 22:44:09 UTC 2023-02-01	4.8.12-3.1 (patches unapplied) Author: Manuel A. Fernandez Montecelo Author Date: 2023-02-01 12:06:03 UTC 4.8.12-3.1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/noble-devel	2023-02-01 22:44:09 UTC 2023-02-01	4.8.12-3.1 (patches applied) Author: Manuel A. Fernandez Montecelo Author Date: 2023-02-01 12:06:03 UTC 4.8.12-3.1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/noble	2023-02-01 22:44:09 UTC 2023-02-01	4.8.12-3.1 (patches applied) Author: Manuel A. Fernandez Montecelo Author Date: 2023-02-01 12:06:03 UTC 4.8.12-3.1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/mantic-devel	2023-02-01 22:44:09 UTC 2023-02-01	4.8.12-3.1 (patches applied) Author: Manuel A. Fernandez Montecelo Author Date: 2023-02-01 12:06:03 UTC 4.8.12-3.1 (patches applied) Imported using git-ubuntu import.
ubuntu/noble-devel	2023-02-01 22:44:09 UTC 2023-02-01	4.8.12-3.1 (patches unapplied) Author: Manuel A. Fernandez Montecelo Author Date: 2023-02-01 12:06:03 UTC 4.8.12-3.1 (patches unapplied) Imported using git-ubuntu import.
applied/debian/bookworm	2023-02-01 22:44:09 UTC 2023-02-01	4.8.12-3.1 (patches applied) Author: Manuel A. Fernandez Montecelo Author Date: 2023-02-01 12:06:03 UTC 4.8.12-3.1 (patches applied) Imported using git-ubuntu import.
ubuntu/noble	2023-02-01 22:44:09 UTC 2023-02-01	4.8.12-3.1 (patches unapplied) Author: Manuel A. Fernandez Montecelo Author Date: 2023-02-01 12:06:03 UTC 4.8.12-3.1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/lunar-devel	2023-02-01 22:44:09 UTC 2023-02-01	4.8.12-3.1 (patches applied) Author: Manuel A. Fernandez Montecelo Author Date: 2023-02-01 12:06:03 UTC 4.8.12-3.1 (patches applied) Imported using git-ubuntu import.
importer/ubuntu/pristine-tar	2022-09-07 05:51:22 UTC 2022-09-07	pristine-tar data for z3_4.8.12.orig.tar.gz Author: Ubuntu Git Importer Author Date: 2022-09-07 05:51:22 UTC pristine-tar data for z3_4.8.12.orig.tar.gz
importer/debian/pristine-tar	2022-09-07 05:50:38 UTC 2022-09-07	pristine-tar data for z3_4.8.12.orig.tar.gz Author: Ubuntu Git Importer Author Date: 2022-09-07 05:50:38 UTC pristine-tar data for z3_4.8.12.orig.tar.gz
applied/ubuntu/impish-devel	2021-09-11 22:38:00 UTC 2021-09-11	4.8.12-1 (patches applied) Author: Fabian Wolff Author Date: 2021-09-11 15:58:23 UTC 4.8.12-1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/impish-proposed	2021-09-11 22:38:00 UTC 2021-09-11	4.8.12-1 (patches applied) Author: Fabian Wolff Author Date: 2021-09-11 15:58:23 UTC 4.8.12-1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/jammy	2021-09-11 22:38:00 UTC 2021-09-11	4.8.12-1 (patches applied) Author: Fabian Wolff Author Date: 2021-09-11 15:58:23 UTC 4.8.12-1 (patches applied) Imported using git-ubuntu import.
ubuntu/jammy-devel	2021-09-11 22:38:00 UTC 2021-09-11	4.8.12-1 (patches unapplied) Author: Fabian Wolff Author Date: 2021-09-11 15:58:23 UTC 4.8.12-1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/jammy	2021-09-11 22:38:00 UTC 2021-09-11	4.8.12-1 (patches unapplied) Author: Fabian Wolff Author Date: 2021-09-11 15:58:23 UTC 4.8.12-1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/impish-proposed	2021-09-11 22:38:00 UTC 2021-09-11	4.8.12-1 (patches unapplied) Author: Fabian Wolff Author Date: 2021-09-11 15:58:23 UTC 4.8.12-1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/impish-devel	2021-09-11 22:38:00 UTC 2021-09-11	4.8.12-1 (patches unapplied) Author: Fabian Wolff Author Date: 2021-09-11 15:58:23 UTC 4.8.12-1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/jammy-devel	2021-09-11 22:38:00 UTC 2021-09-11	4.8.12-1 (patches applied) Author: Fabian Wolff Author Date: 2021-09-11 15:58:23 UTC 4.8.12-1 (patches applied) Imported using git-ubuntu import.
ubuntu/impish	2021-09-11 22:38:00 UTC 2021-09-11	4.8.12-1 (patches unapplied) Author: Fabian Wolff Author Date: 2021-09-11 15:58:23 UTC 4.8.12-1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/kinetic	2021-09-11 22:38:00 UTC 2021-09-11	4.8.12-1 (patches applied) Author: Fabian Wolff Author Date: 2021-09-11 15:58:23 UTC 4.8.12-1 (patches applied) Imported using git-ubuntu import.
ubuntu/kinetic	2021-09-11 22:38:00 UTC 2021-09-11	4.8.12-1 (patches unapplied) Author: Fabian Wolff Author Date: 2021-09-11 15:58:23 UTC 4.8.12-1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/kinetic-devel	2021-09-11 22:38:00 UTC 2021-09-11	4.8.12-1 (patches applied) Author: Fabian Wolff Author Date: 2021-09-11 15:58:23 UTC 4.8.12-1 (patches applied) Imported using git-ubuntu import.
ubuntu/kinetic-devel	2021-09-11 22:38:00 UTC 2021-09-11	4.8.12-1 (patches unapplied) Author: Fabian Wolff Author Date: 2021-09-11 15:58:23 UTC 4.8.12-1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/impish	2021-09-11 22:38:00 UTC 2021-09-11	4.8.12-1 (patches applied) Author: Fabian Wolff Author Date: 2021-09-11 15:58:23 UTC 4.8.12-1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/hirsute-devel	2021-01-30 09:41:09 UTC 2021-01-30	4.8.10-1ubuntu1 (patches applied) Author: Gianfranco Costamagna Author Date: 2021-01-30 09:40:25 UTC 4.8.10-1ubuntu1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/hirsute	2021-01-30 09:41:09 UTC 2021-01-30	4.8.10-1ubuntu1 (patches applied) Author: Gianfranco Costamagna Author Date: 2021-01-30 09:40:25 UTC 4.8.10-1ubuntu1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/hirsute-proposed	2021-01-30 09:41:09 UTC 2021-01-30	4.8.10-1ubuntu1 (patches applied) Author: Gianfranco Costamagna Author Date: 2021-01-30 09:40:25 UTC 4.8.10-1ubuntu1 (patches applied) Imported using git-ubuntu import.
ubuntu/hirsute	2021-01-30 09:41:09 UTC 2021-01-30	4.8.10-1ubuntu1 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2021-01-30 09:40:25 UTC 4.8.10-1ubuntu1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/hirsute-devel	2021-01-30 09:41:09 UTC 2021-01-30	4.8.10-1ubuntu1 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2021-01-30 09:40:25 UTC 4.8.10-1ubuntu1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/hirsute-proposed	2021-01-30 09:41:09 UTC 2021-01-30	4.8.10-1ubuntu1 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2021-01-30 09:40:25 UTC 4.8.10-1ubuntu1 (patches unapplied) Imported using git-ubuntu import.
debian/bullseye	2021-01-29 22:43:09 UTC 2021-01-29	4.8.10-1 (patches unapplied) Author: Fabian Wolff Author Date: 2021-01-29 16:44:09 UTC 4.8.10-1 (patches unapplied) Imported using git-ubuntu import.
applied/debian/bullseye	2021-01-29 22:43:09 UTC 2021-01-29	4.8.10-1 (patches applied) Author: Fabian Wolff Author Date: 2021-01-29 16:44:09 UTC 4.8.10-1 (patches applied) Imported using git-ubuntu import.
ubuntu/groovy-proposed	2020-09-21 16:50:56 UTC 2020-09-21	4.8.9-1 (patches unapplied) Author: Fabian Wolff Author Date: 2020-09-21 10:55:45 UTC 4.8.9-1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/groovy-devel	2020-09-21 16:50:56 UTC 2020-09-21	4.8.9-1 (patches unapplied) Author: Fabian Wolff Author Date: 2020-09-21 10:55:45 UTC 4.8.9-1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/groovy-proposed	2020-09-21 16:50:56 UTC 2020-09-21	4.8.9-1 (patches applied) Author: Fabian Wolff Author Date: 2020-09-21 10:55:45 UTC 4.8.9-1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/groovy-devel	2020-09-21 16:50:56 UTC 2020-09-21	4.8.9-1 (patches applied) Author: Fabian Wolff Author Date: 2020-09-21 10:55:45 UTC 4.8.9-1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/groovy	2020-06-06 22:42:42 UTC 2020-06-06	4.8.8-1 (patches applied) Author: Fabian Wolff Author Date: 2020-06-06 14:32:57 UTC 4.8.8-1 (patches applied) Imported using git-ubuntu import.
ubuntu/groovy	2020-06-06 22:42:42 UTC 2020-06-06	4.8.8-1 (patches unapplied) Author: Fabian Wolff Author Date: 2020-06-06 14:32:57 UTC 4.8.8-1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/focal-proposed	2020-03-23 07:17:06 UTC 2020-03-23	4.8.7-4build1 (patches applied) Author: Matthias Klose Author Date: 2020-03-23 06:29:12 UTC 4.8.7-4build1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/focal	2020-03-23 07:17:06 UTC 2020-03-23	4.8.7-4build1 (patches applied) Author: Matthias Klose Author Date: 2020-03-23 06:29:12 UTC 4.8.7-4build1 (patches applied) Imported using git-ubuntu import.
ubuntu/focal-proposed	2020-03-23 07:17:06 UTC 2020-03-23	4.8.7-4build1 (patches unapplied) Author: Matthias Klose Author Date: 2020-03-23 06:29:12 UTC 4.8.7-4build1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/focal	2020-03-23 07:17:06 UTC 2020-03-23	4.8.7-4build1 (patches unapplied) Author: Matthias Klose Author Date: 2020-03-23 06:29:12 UTC 4.8.7-4build1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/focal-devel	2020-03-23 07:17:06 UTC 2020-03-23	4.8.7-4build1 (patches unapplied) Author: Matthias Klose Author Date: 2020-03-23 06:29:12 UTC 4.8.7-4build1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/focal-devel	2020-03-23 07:17:06 UTC 2020-03-23	4.8.7-4build1 (patches applied) Author: Matthias Klose Author Date: 2020-03-23 06:29:12 UTC 4.8.7-4build1 (patches applied) Imported using git-ubuntu import.
ubuntu/eoan-proposed	2019-09-13 08:28:07 UTC 2019-09-13	4.8.4-1build1 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2019-09-13 08:27:08 UTC 4.8.4-1build1 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/eoan-proposed	2019-09-13 08:28:07 UTC 2019-09-13	4.8.4-1build1 (patches applied) Author: Gianfranco Costamagna Author Date: 2019-09-13 08:27:08 UTC 4.8.4-1build1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/eoan-devel	2019-09-13 08:28:07 UTC 2019-09-13	4.8.4-1build1 (patches applied) Author: Gianfranco Costamagna Author Date: 2019-09-13 08:27:08 UTC 4.8.4-1build1 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/eoan	2019-09-13 08:28:07 UTC 2019-09-13	4.8.4-1build1 (patches applied) Author: Gianfranco Costamagna Author Date: 2019-09-13 08:27:08 UTC 4.8.4-1build1 (patches applied) Imported using git-ubuntu import.
ubuntu/eoan	2019-09-13 08:28:07 UTC 2019-09-13	4.8.4-1build1 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2019-09-13 08:27:08 UTC 4.8.4-1build1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/eoan-devel	2019-09-13 08:28:07 UTC 2019-09-13	4.8.4-1build1 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2019-09-13 08:27:08 UTC 4.8.4-1build1 (patches unapplied) Imported using git-ubuntu import.
applied/debian/stretch	2019-09-07 18:11:27 UTC 2019-09-07	4.4.1-1~deb9u1 (patches applied) Author: Andreas Beckmann Author Date: 2019-08-24 10:44:04 UTC 4.4.1-1~deb9u1 (patches applied) Imported using git-ubuntu import.
debian/stretch	2019-09-07 18:11:27 UTC 2019-09-07	4.4.1-1~deb9u1 (patches unapplied) Author: Andreas Beckmann Author Date: 2019-08-24 10:44:04 UTC 4.4.1-1~deb9u1 (patches unapplied) Imported using git-ubuntu import.
applied/debian/buster	2019-09-07 17:32:29 UTC 2019-09-07	4.4.1-1~deb10u1 (patches applied) Author: Andreas Beckmann Author Date: 2019-08-24 10:18:35 UTC 4.4.1-1~deb10u1 (patches applied) Imported using git-ubuntu import.
debian/buster	2019-09-07 17:32:29 UTC 2019-09-07	4.4.1-1~deb10u1 (patches unapplied) Author: Andreas Beckmann Author Date: 2019-08-24 10:18:35 UTC 4.4.1-1~deb10u1 (patches unapplied) Imported using git-ubuntu import.
applied/debian/experimental	2019-04-16 22:27:10 UTC 2019-04-16	4.4.1-0.5~exp1 (patches applied) Author: Sylvestre Ledru Author Date: 2019-04-16 12:30:31 UTC 4.4.1-0.5~exp1 (patches applied) Imported using git-ubuntu import.
debian/experimental	2019-04-16 22:27:10 UTC 2019-04-16	4.4.1-0.5~exp1 (patches unapplied) Author: Sylvestre Ledru Author Date: 2019-04-16 12:30:31 UTC 4.4.1-0.5~exp1 (patches unapplied) Imported using git-ubuntu import.
ubuntu/cosmic	2018-09-12 04:42:30 UTC 2018-09-12	4.4.1-0.4 (patches unapplied) Author: Adrian Bunk Author Date: 2018-09-09 19:28:32 UTC 4.4.1-0.4 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/disco	2018-09-12 04:42:30 UTC 2018-09-12	4.4.1-0.4 (patches applied) Author: Adrian Bunk Author Date: 2018-09-09 19:28:32 UTC 4.4.1-0.4 (patches applied) Imported using git-ubuntu import.
ubuntu/cosmic-devel	2018-09-12 04:42:30 UTC 2018-09-12	4.4.1-0.4 (patches unapplied) Author: Adrian Bunk Author Date: 2018-09-09 19:28:32 UTC 4.4.1-0.4 (patches unapplied) Imported using git-ubuntu import.
ubuntu/cosmic-proposed	2018-09-12 04:42:30 UTC 2018-09-12	4.4.1-0.4 (patches unapplied) Author: Adrian Bunk Author Date: 2018-09-09 19:28:32 UTC 4.4.1-0.4 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/cosmic	2018-09-12 04:42:30 UTC 2018-09-12	4.4.1-0.4 (patches applied) Author: Adrian Bunk Author Date: 2018-09-09 19:28:32 UTC 4.4.1-0.4 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/disco-devel	2018-09-12 04:42:30 UTC 2018-09-12	4.4.1-0.4 (patches applied) Author: Adrian Bunk Author Date: 2018-09-09 19:28:32 UTC 4.4.1-0.4 (patches applied) Imported using git-ubuntu import.
ubuntu/disco	2018-09-12 04:42:30 UTC 2018-09-12	4.4.1-0.4 (patches unapplied) Author: Adrian Bunk Author Date: 2018-09-09 19:28:32 UTC 4.4.1-0.4 (patches unapplied) Imported using git-ubuntu import.
ubuntu/disco-devel	2018-09-12 04:42:30 UTC 2018-09-12	4.4.1-0.4 (patches unapplied) Author: Adrian Bunk Author Date: 2018-09-09 19:28:32 UTC 4.4.1-0.4 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/cosmic-proposed	2018-09-12 04:42:30 UTC 2018-09-12	4.4.1-0.4 (patches applied) Author: Adrian Bunk Author Date: 2018-09-09 19:28:32 UTC 4.4.1-0.4 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/cosmic-devel	2018-09-12 04:42:30 UTC 2018-09-12	4.4.1-0.4 (patches applied) Author: Adrian Bunk Author Date: 2018-09-09 19:28:32 UTC 4.4.1-0.4 (patches applied) Imported using git-ubuntu import.
ubuntu/bionic	2017-10-27 04:17:40 UTC 2017-10-27	4.4.1-0.3build4 (patches unapplied) Author: Dimitri John Ledkov Author Date: 2017-10-26 22:54:51 UTC 4.4.1-0.3build4 (patches unapplied) Imported using git-ubuntu import.
ubuntu/bionic-proposed	2017-10-27 04:17:40 UTC 2017-10-27	4.4.1-0.3build4 (patches unapplied) Author: Dimitri John Ledkov Author Date: 2017-10-26 22:54:51 UTC 4.4.1-0.3build4 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/bionic	2017-10-27 04:17:40 UTC 2017-10-27	4.4.1-0.3build4 (patches applied) Author: Dimitri John Ledkov Author Date: 2017-10-26 22:54:51 UTC 4.4.1-0.3build4 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/bionic-devel	2017-10-27 04:17:40 UTC 2017-10-27	4.4.1-0.3build4 (patches applied) Author: Dimitri John Ledkov Author Date: 2017-10-26 22:54:51 UTC 4.4.1-0.3build4 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/bionic-proposed	2017-10-27 04:17:40 UTC 2017-10-27	4.4.1-0.3build4 (patches applied) Author: Dimitri John Ledkov Author Date: 2017-10-26 22:54:51 UTC 4.4.1-0.3build4 (patches applied) Imported using git-ubuntu import.
ubuntu/bionic-devel	2017-10-27 04:17:40 UTC 2017-10-27	4.4.1-0.3build4 (patches unapplied) Author: Dimitri John Ledkov Author Date: 2017-10-26 22:54:51 UTC 4.4.1-0.3build4 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/artful-proposed	2017-06-26 22:02:37 UTC 2017-06-26	4.4.1-0.3build3 (patches applied) Author: Dimitri John Ledkov Author Date: 2017-06-26 21:49:52 UTC 4.4.1-0.3build3 (patches applied) Imported using git-ubuntu import.
ubuntu/artful	2017-06-26 22:02:37 UTC 2017-06-26	4.4.1-0.3build3 (patches unapplied) Author: Dimitri John Ledkov Author Date: 2017-06-26 21:49:52 UTC 4.4.1-0.3build3 (patches unapplied) Imported using git-ubuntu import.
ubuntu/artful-devel	2017-06-26 22:02:37 UTC 2017-06-26	4.4.1-0.3build3 (patches unapplied) Author: Dimitri John Ledkov Author Date: 2017-06-26 21:49:52 UTC 4.4.1-0.3build3 (patches unapplied) Imported using git-ubuntu import.
ubuntu/artful-proposed	2017-06-26 22:02:37 UTC 2017-06-26	4.4.1-0.3build3 (patches unapplied) Author: Dimitri John Ledkov Author Date: 2017-06-26 21:49:52 UTC 4.4.1-0.3build3 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/artful-devel	2017-06-26 22:02:37 UTC 2017-06-26	4.4.1-0.3build3 (patches applied) Author: Dimitri John Ledkov Author Date: 2017-06-26 21:49:52 UTC 4.4.1-0.3build3 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/artful	2017-06-26 22:02:37 UTC 2017-06-26	4.4.1-0.3build3 (patches applied) Author: Dimitri John Ledkov Author Date: 2017-06-26 21:49:52 UTC 4.4.1-0.3build3 (patches applied) Imported using git-ubuntu import.
ubuntu/zesty	2016-12-21 21:26:10 UTC 2016-12-21	4.4.1-0.3build2 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2016-12-21 21:24:56 UTC 4.4.1-0.3build2 (patches unapplied) Imported using git-ubuntu import.
applied/ubuntu/zesty-proposed	2016-12-21 21:26:10 UTC 2016-12-21	4.4.1-0.3build2 (patches applied) Author: Gianfranco Costamagna Author Date: 2016-12-21 21:24:56 UTC 4.4.1-0.3build2 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/zesty-devel	2016-12-21 21:26:10 UTC 2016-12-21	4.4.1-0.3build2 (patches applied) Author: Gianfranco Costamagna Author Date: 2016-12-21 21:24:56 UTC 4.4.1-0.3build2 (patches applied) Imported using git-ubuntu import.
applied/ubuntu/zesty	2016-12-21 21:26:10 UTC 2016-12-21	4.4.1-0.3build2 (patches applied) Author: Gianfranco Costamagna Author Date: 2016-12-21 21:24:56 UTC 4.4.1-0.3build2 (patches applied) Imported using git-ubuntu import.
ubuntu/zesty-proposed	2016-12-21 21:26:10 UTC 2016-12-21	4.4.1-0.3build2 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2016-12-21 21:24:56 UTC 4.4.1-0.3build2 (patches unapplied) Imported using git-ubuntu import.
ubuntu/zesty-devel	2016-12-21 21:26:10 UTC 2016-12-21	4.4.1-0.3build2 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2016-12-21 21:24:56 UTC 4.4.1-0.3build2 (patches unapplied) Imported using git-ubuntu import.
ubuntu/yakkety	2016-09-26 16:28:45 UTC 2016-09-26	4.4.1-0.3 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2016-09-25 21:06:24 UTC 4.4.1-0.3 (patches unapplied) Imported using git-ubuntu import.
ubuntu/yakkety-devel	2016-09-26 16:28:45 UTC 2016-09-26	4.4.1-0.3 (patches unapplied) Author: Gianfranco Costamagna Author Date: 2016-09-25 21:06:24 UTC 4.4.1-0.3 (patches unapplied) Imported using git-ubuntu import.

Other repositories

Name	Last Modified
lp:ubuntu/+source/z3	2023-10-26

You can't create new repositories for z3 in Ubuntu.