Your message dated Tue, 07 Jul 2015 09:45:51 +0000
with message-id <e1zcprn-000799...@franck.debian.org>
and subject line Bug#791604: fixed in z3 4.4.0-2
has caused the Debian Bug report #791604,
regarding python-z3: __init__.py is missing in the base module folder. This
makes the module not importable.
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 ow...@bugs.debian.org
immediately.)
--
791604: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=791604
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: python-z3
Version: 4.4.0-1
Severity: grave
Tags: patch
Justification: renders package unusable
It is enough to touch a __init__.py file inside
/usr/lib/python2.7/dist-packages/z3/ to make the module importable.
-- System Information:
Debian Release: stretch/sid
APT prefers unstable
APT policy: (600, 'unstable'), (500, 'stable-updates'), (500, 'stable')
Architecture: amd64 (x86_64)
Foreign Architectures: i386
Kernel: Linux 4.0.0-2-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)
Versions of packages python-z3 depends on:
ii libc6 2.19-18
ii libgcc1 1:5.1.1-12
ii libgomp1 5.1.1-12
ii libstdc++6 5.1.1-12
ii python 2.7.9-1
python-z3 recommends no packages.
python-z3 suggests no packages.
-- no debconf information
--- End Message ---
--- Begin Message ---
Source: z3
Source-Version: 4.4.0-2
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 791...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Michael Tautschnig <m...@debian.org> (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 ftpmas...@ftp-master.debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Tue, 07 Jul 2015 08:08:48 +0100
Source: z3
Binary: z3 libz3-dev python-z3
Architecture: source i386
Version: 4.4.0-2
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <m...@debian.org>
Changed-By: Michael Tautschnig <m...@debian.org>
Description:
libz3-dev - theorem prover from Microsoft Research - development files
python-z3 - theorem prover from Microsoft Research - python bindings
z3 - theorem prover from Microsoft Research
Closes: 789881 791604
Changes:
z3 (4.4.0-2) unstable; urgency=low
.
* Added __init__.py. Thanks Andrea Villa for the hints. (Closes: #791604)
* Use emmintrin.h conditionally only (Closes: #789881)
Checksums-Sha1:
9f17d9cc1df68f7044e6190d68746ff3b758b421 1784 z3_4.4.0-2.dsc
8db987f2e05705c4e865e55f1ef623099b51a35a 6620 z3_4.4.0-2.debian.tar.xz
Checksums-Sha256:
ea96a0e8202b6dc65daaf615bc67a8428c0c3bdc874ecd505014bdbd194192e7 1784
z3_4.4.0-2.dsc
2bb1994115866f7569d97be710b8956fb7f406b9f1ff5168067c814d068ea79e 6620
z3_4.4.0-2.debian.tar.xz
Files:
88985c7c56ce8c4b4a92fae2e29245c1 1784 science extra z3_4.4.0-2.dsc
1adee34cd3c6b1eb20441a642c8262aa 6620 science extra z3_4.4.0-2.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
Comment: GPGTools - http://gpgtools.org
iQIcBAEBCAAGBQJVm4/AAAoJEDu/g5M27Kkx/uEP/36SKal93ckjTtGzqn6DADBn
UYUGGYZTr4lPkbBt6iftcmkE9dyFunNzrzQV1U/ngQovIFJET4i14cAXrBHzmgYX
UHttLu+yvaMjW0fLtCIeZU9B0t+sp13hk0BI40AOBg44SyWkz+8n2JpTiut4wuHj
iV/dHc4prg7p6V1cx+noFYHZDsr3eqwbsaKhUd6DfIUOedk16vtlEH9EHrHlmYaU
pel+SGpoVljRIqIm+x4tVoyg9E908cpbA3V1Ry3EzgpbHI+N+aAP9rzYga5f4Jer
7pzKJamvKsVg5ob3OFD3e3hIAbxSENV1JI3MQhUIkqPf5QnTfQlyJzHGpBTEju/r
QSgfeKwf6rrFNVbFaH5QmUi9J9FOpA0Ytxcv10NDUizUvMRj3sRxuDrIwBgLOZu5
llCB8OG39I4eQ1YAHx3UY63w64ogYidKSvFw5NNPsjrT6YPD8kG3zO2vk3VkM5N4
WS8zC47ciVPtlYBlkSwotKK0EmVACJ5ZvlmD8lHLw4rMRg/U61ps9aE5bQs4KK3T
W4/tyzLX2OYuBy2dpxEFaUrAgNZMZQx3Cf5+huI2vfsox+7f/9/vEGIyGHyAFGAk
HGIv23ft+jOL3nFBcEKkJetwTpLqetyZiYFDI/FkBIh2t6nykGFo3gwr2MSd8aWB
HdGmG/BcaALv4iRRTPkg
=Ocuq
-----END PGP SIGNATURE-----
--- End Message ---
