Ubuntu
z3 package

View Bazaar branches
Get this repository:
git clone https://git.not.enabled/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
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
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
debian/bookworm 2023-02-01 22:44:09 UTC
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/mantic 2023-02-01 22:44:09 UTC
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
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/lunar-proposed 2023-02-01 22:44:09 UTC
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
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
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/mantic 2023-02-01 22:44:09 UTC
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
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-devel 2023-02-01 22:44:09 UTC
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 2023-02-01 22:44:09 UTC
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
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/devel 2023-02-01 22:44:09 UTC
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.
debian/sid 2023-02-01 22:44:09 UTC
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
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
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/mantic-devel 2023-02-01 22:44:09 UTC
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
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
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/kinetic 2021-09-11 22:38:00 UTC
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/kinetic-devel 2021-09-11 22:38:00 UTC
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 2021-09-11 22:38:00 UTC
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-devel 2021-09-11 22:38:00 UTC
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/kinetic 2021-09-11 22:38:00 UTC
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/kinetic-devel 2021-09-11 22:38:00 UTC
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
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 2021-09-11 22:38:00 UTC
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
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
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-devel 2021-09-11 22:38:00 UTC
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
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-devel 2021-09-11 22:38:00 UTC
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
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/hirsute 2021-01-30 09:41:09 UTC
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
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
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.
applied/ubuntu/hirsute 2021-01-30 09:41:09 UTC
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-devel 2021-01-30 09:41:09 UTC
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
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/debian/bullseye 2021-01-29 22:43:09 UTC
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.
debian/bullseye 2021-01-29 22:43:09 UTC
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.
ubuntu/groovy-devel 2020-09-21 16:50:56 UTC
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-devel 2020-09-21 16:50:56 UTC
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-proposed 2020-09-21 16:50:56 UTC
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.
ubuntu/groovy-proposed 2020-09-21 16:50:56 UTC
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 2020-06-06 22:42:42 UTC
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/groovy 2020-06-06 22:42:42 UTC
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.
applied/ubuntu/focal-proposed 2020-03-23 07:17:06 UTC
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
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-devel 2020-03-23 07:17:06 UTC
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-devel 2020-03-23 07:17:06 UTC
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-proposed 2020-03-23 07:17:06 UTC
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
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/eoan-proposed 2019-09-13 08:28:07 UTC
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
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
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-proposed 2019-09-13 08:28:07 UTC
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
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 2019-09-13 08:28:07 UTC
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
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
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.
debian/buster 2019-09-07 17:32:29 UTC
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/buster 2019-09-07 17:32:29 UTC
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.
applied/debian/experimental 2019-04-16 22:27:10 UTC
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
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.
applied/ubuntu/disco 2018-09-12 04:42:30 UTC
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 2018-09-12 04:42:30 UTC
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-devel 2018-09-12 04:42:30 UTC
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
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 2018-09-12 04:42:30 UTC
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
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-devel 2018-09-12 04:42:30 UTC
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-proposed 2018-09-12 04:42:30 UTC
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
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 2018-09-12 04:42:30 UTC
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-devel 2017-10-27 04:17:40 UTC
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 2017-10-27 04:17:40 UTC
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
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
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
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-proposed 2017-10-27 04:17:40 UTC
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/artful-devel 2017-06-26 22:02:37 UTC
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 2017-06-26 22:02:37 UTC
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 2017-06-26 22:02:37 UTC
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-proposed 2017-06-26 22:02:37 UTC
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-proposed 2017-06-26 22:02:37 UTC
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-devel 2017-06-26 22:02:37 UTC
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-devel 2016-12-21 21:26:10 UTC
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 2016-12-21 21:26:10 UTC
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-proposed 2016-12-21 21:26:10 UTC
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 2016-12-21 21:26:10 UTC
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
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-proposed 2016-12-21 21:26:10 UTC
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/yakkety-devel 2016-09-26 16:28:45 UTC
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.
applied/ubuntu/yakkety 2016-09-26 16:28:45 UTC
4.4.1-0.3 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2016-09-25 21:06:24 UTC

4.4.1-0.3 (patches applied)

Imported using git-ubuntu import.
ubuntu/yakkety 2016-09-26 16:28:45 UTC
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.
applied/ubuntu/yakkety-proposed 2016-09-26 16:28:45 UTC
4.4.1-0.3 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2016-09-25 21:06:24 UTC

4.4.1-0.3 (patches applied)

Imported using git-ubuntu import.
ubuntu/yakkety-proposed 2016-09-26 16:28:45 UTC
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.
applied/ubuntu/yakkety-devel 2016-09-26 16:28:45 UTC
4.4.1-0.3 (patches applied)

Author: Gianfranco Costamagna
Author Date: 2016-09-25 21:06:24 UTC

4.4.1-0.3 (patches applied)

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

Other repositories

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