Your message dated Tue, 11 Sep 2018 21:20:58 +0000
with message-id <[email protected]>
and subject line Bug#874237: fixed in z3 4.4.1-0.4
has caused the Debian Bug report #874237,
regarding python-z3 is wrongly marked Multi-Arch: same
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact [email protected]
immediately.)
--
874237: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=874237
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: python-z3
Version: 4.4.1-0.3
Severity: important
User: [email protected]
Usertags: multiarch
python-z3 is marked Multi-Arch: same, but fails to coinstall with itself
on amd64 and arm64. You can find a failing installation log attached.
Please consider removing the Multi-Arch: same header or moving files
around such that the annotation becomes valid again. Unfortunately,
adding specific Conflicts relations is not currently possible due to
#747261 (self-conflicts are always ignored).
Helmut
W: The configuration option PKGNAME_LOGFILE_EXTENTION is deprecated in favour
of PKGNAME_LOGFILE_EXTENSION. Though, while you have the former set it'll take
precedence over the latter.
W: PKGNAME_LOGFILE_EXTENTION will be removed at some point, please update your
config!
W: /root/.pbuilderrc does not exist
W: The configuration option PKGNAME_LOGFILE_EXTENTION is deprecated in favour
of PKGNAME_LOGFILE_EXTENSION. Though, while you have the former set it'll take
precedence over the latter.
W: PKGNAME_LOGFILE_EXTENTION will be removed at some point, please update your
config!
[0mI: Building the build Environment[0m
[0mI: extracting base tarball [/var/cache/pbuilder/base.tgz][0m
[0mI: copying local configuration[0m
[0mI: mounting /proc filesystem[0m
[0mI: mounting /sys filesystem[0m
[0mI: creating /{dev,run}/shm[0m
[0mI: mounting /dev/pts filesystem[0m
[0mI: Mounting /var/cache/pbuilder/bindmount[0m
[0mI: policy-rc.d already exists[0m
[1;33mW: Could not create compatibility symlink because /tmp/buildd exists and
it is not a directory[0m
Hit:1 http://ftp.stw-bonn.de/debian sid InRelease
Ign:2 http://ftp.stw-bonn.de/debian sid/main arm64 Packages
Get:2 http://ftp.stw-bonn.de/debian sid/main arm64 Packages [7411 kB]
Fetched 7411 kB in 1s (6261 kB/s)
Reading package lists...
Reading package lists...
Building dependency tree...
Reading state information...
The following additional packages will be installed:
gcc-7-base:arm64 libc6:arm64 libexpat1 libgcc1:arm64 libgomp1:arm64
libpython-stdlib libpython2.7-minimal libpython2.7-stdlib libreadline7
libssl1.1 libstdc++6:arm64 libz3-4 libz3-4:arm64 libz3-dev libz3-dev:arm64
mime-support python python-minimal python2.7 python2.7-minimal
readline-common
Suggested packages:
glibc-doc:arm64 libc-l10n:arm64 locales:arm64 python-doc python-tk
python2.7-doc binfmt-support readline-doc
Recommended packages:
file
The following NEW packages will be installed:
gcc-7-base:arm64 libc6:arm64 libexpat1 libgcc1:arm64 libgomp1:arm64
libpython-stdlib libpython2.7-minimal libpython2.7-stdlib libreadline7
libssl1.1 libstdc++6:arm64 libz3-4 libz3-4:arm64 libz3-dev libz3-dev:arm64
mime-support python python-minimal python-z3 python-z3:arm64 python2.7
python2.7-minimal readline-common
0 upgraded, 23 newly installed, 0 to remove and 0 not upgraded.
Need to get 18.8 MB of archives.
After this operation, 68.1 MB of additional disk space will be used.
Get:1 http://ftp.stw-bonn.de/debian sid/main amd64 libpython2.7-minimal amd64
2.7.13-4 [392 kB]
Get:2 http://ftp.stw-bonn.de/debian sid/main amd64 python2.7-minimal amd64
2.7.13-4 [1370 kB]
Get:3 http://ftp.stw-bonn.de/debian sid/main amd64 python-minimal amd64
2.7.13-2 [40.5 kB]
Get:4 http://ftp.stw-bonn.de/debian sid/main amd64 mime-support all 3.60 [36.7
kB]
Get:5 http://ftp.stw-bonn.de/debian sid/main amd64 libexpat1 amd64 2.2.3-1
[87.5 kB]
Get:6 http://ftp.stw-bonn.de/debian sid/main amd64 readline-common all 7.0-3
[70.4 kB]
Get:7 http://ftp.stw-bonn.de/debian sid/main amd64 libreadline7 amd64 7.0-3
[151 kB]
Get:8 http://ftp.stw-bonn.de/debian sid/main amd64 libssl1.1 amd64 1.1.0f-5
[1349 kB]
Get:9 http://ftp.stw-bonn.de/debian sid/main amd64 libpython2.7-stdlib amd64
2.7.13-4 [1898 kB]
Get:10 http://ftp.stw-bonn.de/debian sid/main amd64 python2.7 amd64 2.7.13-4
[292 kB]
Get:11 http://ftp.stw-bonn.de/debian sid/main amd64 libpython-stdlib amd64
2.7.13-2 [20.0 kB]
Get:12 http://ftp.stw-bonn.de/debian sid/main amd64 python amd64 2.7.13-2 [154
kB]
Get:13 http://ftp.stw-bonn.de/debian sid/main arm64 gcc-7-base arm64 7.2.0-1
[180 kB]
Get:14 http://ftp.stw-bonn.de/debian sid/main arm64 libgcc1 arm64 1:7.2.0-1
[33.6 kB]
Get:15 http://ftp.stw-bonn.de/debian sid/main arm64 libc6 arm64 2.24-17 [2392
kB]
Get:16 http://ftp.stw-bonn.de/debian sid/main arm64 libstdc++6 arm64 7.2.0-1
[376 kB]
Get:17 http://ftp.stw-bonn.de/debian sid/main arm64 libgomp1 arm64 7.2.0-1
[60.8 kB]
Get:18 http://ftp.stw-bonn.de/debian sid/main amd64 libz3-4 amd64 4.4.1-0.3
[5159 kB]
Get:19 http://ftp.stw-bonn.de/debian sid/main arm64 libz3-4 arm64 4.4.1-0.3
[4412 kB]
Get:20 http://ftp.stw-bonn.de/debian sid/main arm64 libz3-dev arm64 4.4.1-0.3
[79.2 kB]
Get:21 http://ftp.stw-bonn.de/debian sid/main amd64 libz3-dev amd64 4.4.1-0.3
[79.2 kB]
Get:22 http://ftp.stw-bonn.de/debian sid/main arm64 python-z3 arm64 4.4.1-0.3
[66.9 kB]
Get:23 http://ftp.stw-bonn.de/debian sid/main amd64 python-z3 amd64 4.4.1-0.3
[66.9 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 18.8 MB in 27s (681 kB/s)
Selecting previously unselected package libpython2.7-minimal:amd64.
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 9987 files and directories currently installed.)
Preparing to unpack .../00-libpython2.7-minimal_2.7.13-4_amd64.deb ...
Unpacking libpython2.7-minimal:amd64 (2.7.13-4) ...
Selecting previously unselected package python2.7-minimal.
Preparing to unpack .../01-python2.7-minimal_2.7.13-4_amd64.deb ...
Unpacking python2.7-minimal (2.7.13-4) ...
Selecting previously unselected package python-minimal.
Preparing to unpack .../02-python-minimal_2.7.13-2_amd64.deb ...
Unpacking python-minimal (2.7.13-2) ...
Selecting previously unselected package mime-support.
Preparing to unpack .../03-mime-support_3.60_all.deb ...
Unpacking mime-support (3.60) ...
Selecting previously unselected package libexpat1:amd64.
Preparing to unpack .../04-libexpat1_2.2.3-1_amd64.deb ...
Unpacking libexpat1:amd64 (2.2.3-1) ...
Selecting previously unselected package readline-common.
Preparing to unpack .../05-readline-common_7.0-3_all.deb ...
Unpacking readline-common (7.0-3) ...
Selecting previously unselected package libreadline7:amd64.
Preparing to unpack .../06-libreadline7_7.0-3_amd64.deb ...
Unpacking libreadline7:amd64 (7.0-3) ...
Selecting previously unselected package libssl1.1:amd64.
Preparing to unpack .../07-libssl1.1_1.1.0f-5_amd64.deb ...
Unpacking libssl1.1:amd64 (1.1.0f-5) ...
Selecting previously unselected package libpython2.7-stdlib:amd64.
Preparing to unpack .../08-libpython2.7-stdlib_2.7.13-4_amd64.deb ...
Unpacking libpython2.7-stdlib:amd64 (2.7.13-4) ...
Selecting previously unselected package python2.7.
Preparing to unpack .../09-python2.7_2.7.13-4_amd64.deb ...
Unpacking python2.7 (2.7.13-4) ...
Selecting previously unselected package libpython-stdlib:amd64.
Preparing to unpack .../10-libpython-stdlib_2.7.13-2_amd64.deb ...
Unpacking libpython-stdlib:amd64 (2.7.13-2) ...
Setting up libpython2.7-minimal:amd64 (2.7.13-4) ...
Setting up python2.7-minimal (2.7.13-4) ...
Setting up python-minimal (2.7.13-2) ...
Selecting previously unselected package python.
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 10804 files and directories currently installed.)
Preparing to unpack .../00-python_2.7.13-2_amd64.deb ...
Unpacking python (2.7.13-2) ...
Selecting previously unselected package gcc-7-base:arm64.
Preparing to unpack .../01-gcc-7-base_7.2.0-1_arm64.deb ...
Unpacking gcc-7-base:arm64 (7.2.0-1) ...
Selecting previously unselected package libgcc1:arm64.
Preparing to unpack .../02-libgcc1_1%3a7.2.0-1_arm64.deb ...
Unpacking libgcc1:arm64 (1:7.2.0-1) ...
Selecting previously unselected package libc6:arm64.
Preparing to unpack .../03-libc6_2.24-17_arm64.deb ...
Unpacking libc6:arm64 (2.24-17) ...
Selecting previously unselected package libstdc++6:arm64.
Preparing to unpack .../04-libstdc++6_7.2.0-1_arm64.deb ...
Unpacking libstdc++6:arm64 (7.2.0-1) ...
Selecting previously unselected package libgomp1:arm64.
Preparing to unpack .../05-libgomp1_7.2.0-1_arm64.deb ...
Unpacking libgomp1:arm64 (7.2.0-1) ...
Selecting previously unselected package libz3-4:amd64.
Preparing to unpack .../06-libz3-4_4.4.1-0.3_amd64.deb ...
Unpacking libz3-4:amd64 (4.4.1-0.3) ...
Selecting previously unselected package libz3-4:arm64.
Preparing to unpack .../07-libz3-4_4.4.1-0.3_arm64.deb ...
Unpacking libz3-4:arm64 (4.4.1-0.3) ...
Selecting previously unselected package libz3-dev:arm64.
Preparing to unpack .../08-libz3-dev_4.4.1-0.3_arm64.deb ...
Unpacking libz3-dev:arm64 (4.4.1-0.3) ...
Selecting previously unselected package libz3-dev:amd64.
Preparing to unpack .../09-libz3-dev_4.4.1-0.3_amd64.deb ...
Unpacking libz3-dev:amd64 (4.4.1-0.3) ...
Selecting previously unselected package python-z3:arm64.
Preparing to unpack .../10-python-z3_4.4.1-0.3_arm64.deb ...
Unpacking python-z3:arm64 (4.4.1-0.3) ...
Selecting previously unselected package python-z3:amd64.
Preparing to unpack .../11-python-z3_4.4.1-0.3_amd64.deb ...
Unpacking python-z3:amd64 (4.4.1-0.3) ...
dpkg: error processing archive
/tmp/apt-dpkg-install-w5RTSX/11-python-z3_4.4.1-0.3_amd64.deb (--unpack):
trying to overwrite shared '/usr/lib/python2.7/dist-packages/libz3.so', which
is different from other instances of package python-z3:amd64
Errors were encountered while processing:
/tmp/apt-dpkg-install-w5RTSX/11-python-z3_4.4.1-0.3_amd64.deb
E: Sub-process /usr/bin/dpkg returned an error code (1)
[0mI: unmounting /var/cache/pbuilder/bindmount filesystem[0m
[0mI: unmounting dev/pts filesystem[0m
[0mI: unmounting dev/shm filesystem[0m
[0mI: unmounting proc filesystem[0m
[0mI: unmounting sys filesystem[0m
[0mI: cleaning the build env [0m
[0mI: removing directory /var/cache/pbuilder/build//23081 and its
subdirectories[0m
--- End Message ---
--- Begin Message ---
Source: z3
Source-Version: 4.4.1-0.4
We believe that the bug you reported is fixed in the latest version of
z3, which is due to be installed in the Debian FTP archive.
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to [email protected],
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Adrian Bunk <[email protected]> (supplier of updated z3 package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing [email protected])
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Sun, 09 Sep 2018 22:28:32 +0300
Source: z3
Binary: z3 libz3-4 libz3-dev python-z3 libz3-cil libz3-ocaml-dev libz3-java
libz3-jni
Architecture: source
Version: 4.4.1-0.4
Distribution: unstable
Urgency: medium
Maintainer: Michael Tautschnig <[email protected]>
Changed-By: Adrian Bunk <[email protected]>
Description:
libz3-4 - theorem prover from Microsoft Research - runtime libraries
libz3-cil - theorem prover from Microsoft Research - CLI bindings
libz3-dev - theorem prover from Microsoft Research - development files
libz3-java - theorem prover from Microsoft Research - java bindings
libz3-jni - theorem prover from Microsoft Research - JNI library
libz3-ocaml-dev - theorem prover from Microsoft Research - OCaml bindings
python-z3 - theorem prover from Microsoft Research - Python bindings
z3 - theorem prover from Microsoft Research
Closes: 874237
Changes:
z3 (4.4.1-0.4) unstable; urgency=medium
.
* Non-maintainer upload.
* Remove the incorrect Multi-Arch: same of python-z3,
thanks to Helmut Grohne. (Closes: #874237)
Checksums-Sha1:
dd61381f4c74aacd06e5ffdfc1ddf2039fc7354a 2801 z3_4.4.1-0.4.dsc
bc5ca3f0afc73633674cba0583419fd2d04416b9 14360 z3_4.4.1-0.4.debian.tar.xz
Checksums-Sha256:
5b3a122e71a3f7255872fa3409be8a077c5ad9cbbaa9bd47ba280e4916224167 2801
z3_4.4.1-0.4.dsc
8e335ea99dadbc6ea5ce3a0f58b3c6ffe3e1b6713bc3de2af3bdc69dbac647bd 14360
z3_4.4.1-0.4.debian.tar.xz
Files:
d8f50ccc3da8b3b3dbd9fdddd28c166b 2801 science extra z3_4.4.1-0.4.dsc
f41a0c9d4a0bda28f62a8460cb1e239c 14360 science extra z3_4.4.1-0.4.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEOvp1f6xuoR0v9F3wiNJCh6LYmLEFAluViIMACgkQiNJCh6LY
mLFt4BAAip4ZDMQGsXMYG0IM972F5lOaJpFAaq1xhFZ5t3/zz5RHGoFWa80dbfYT
vzD4twO+xDz6VoUixyXlwPKyk3jw9ayokPL8/O8tc4vybl+iQto69M/by1r+/nN+
hvdM8LbIMX1uVQZETA8mB5SHjIAY8Y8gHj5qXFGAmUh4spXAcHD6LrsuEGSM/8Ho
BVFQuJU7lyrXl58Ppd6Nvtyf6YYTCWYoC00okrohjdY3WW4wM3xJM3jwMUAh37SC
6mq0l3ogu3USg1N94qTWoK9bi04LHu5u3CTBkDK1/Z9xfWX7bETVpL8pq1tujjLz
3xgpi25NUKJUKB1NRUKNy1zWeBetEz5qu8pz77mrQfen25rOlKkFFLDCie9Dhf4V
8amvMzxC0h5OPSU/z0sX7p8EDaITSz0kpsIWCSZPZvCWucJ+c3VVWmC8lVzuZusc
Oo+fzZH5SZTf3FAitNR1DcDDvBzs9mnQ/gqizEdVIVvOc/deae9Q72W6RT2QjMxY
MHYY1Seo+0zLns/qy7cmOQzyWyFuxSESIsvx1nf95fEDYY1s8gDQNUts54QI6cBE
e8awbPuD7BMXf9LSIqRJ6cHys+eEiV8gA802Yodfg02T/2tkP4AMzOMmub2x+2+n
crLC1//Mv9UBdkyM4dp+2DCxCW9N7VuoY/F3Zl1S2ojhWUodwDM=
=qe8O
-----END PGP SIGNATURE-----
--- End Message ---
