Your message dated Fri, 11 Oct 2019 01:00:14 +0000
with message-id <[email protected]>
and subject line Bug#938876: fixed in z3 4.8.6-1
has caused the Debian Bug report #938876,
regarding z3: Python2 removal in sid/bullseye
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.)
--
938876: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=938876
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: src:z3
Version: 4.4.1-1
Severity: normal
Tags: sid bullseye
User: [email protected]
Usertags: py2removal
Python2 becomes end-of-live upstream, and Debian aims to remove
Python2 from the distribution, as discussed in
https://lists.debian.org/debian-python/2019/07/msg00080.html
Your package either build-depends, depends on Python2, or uses Python2
in the autopkg tests. Please stop using Python2, and fix this issue
by one of the following actions.
- Convert your Package to Python3. This is the preferred option. In
case you are providing a Python module foo, please consider dropping
the python-foo package, and only build a python3-foo package. Please
don't drop Python2 modules, which still have reverse dependencies,
just document them.
This is the preferred option.
- If the package is dead upstream, cannot be converted or maintained
in Debian, it should be removed from the distribution. If the
package still has reverse dependencies, raise the severity to
"serious" and document the reverse dependencies with the BTS affects
command. If the package has no reverse dependencies, confirm that
the package can be removed, reassign this issue to ftp.debian.org,
make sure that the bug priority is set to normal and retitle the
issue to "RM: PKG -- removal triggered by the Python2 removal".
- If the package has still many users (popcon >= 300), or is needed to
build another package which cannot be removed, document that by
adding the "py2keep" user tag (not replacing the py2remove tag),
using the [email protected] user. Also any
dependencies on an unversioned python package (python, python-dev)
must not be used, same with the python shebang. These have to be
replaced by python2/python2.7 dependencies and shebang.
This is the least preferred option.
If the conversion or removal needs action on another package first,
please document the blocking by using the BTS affects command, like
affects <bug number of blocking py2removal bug> + src:z3
If there is no py2removal bug for that reverse-dependency, please file
a bug on this package (similar to this bug report).
If there are questions, please refer to the wiki page for the removal:
https://wiki.debian.org/Python/2Removal, or ask for help on IRC
#debian-python, or the [email protected] mailing list.
--- End Message ---
--- Begin Message ---
Source: z3
Source-Version: 4.8.6-1
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.
Fabian Wolff <[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, 29 Sep 2019 18:21:54 +0200
Source: z3
Binary: libz3-4 libz3-4-dbgsym libz3-dev libz3-java libz3-jni libz3-jni-dbgsym
libz3-ocaml-dev libz3-ocaml-dev-dbgsym python3-z3 z3 z3-dbgsym
Architecture: source amd64
Version: 4.8.6-1
Distribution: unstable
Urgency: medium
Maintainer: LLVM Packaging Team <[email protected]>
Changed-By: Fabian Wolff <[email protected]>
Description:
libz3-4 - theorem prover from Microsoft Research - runtime libraries
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
python3-z3 - theorem prover from Microsoft Research - Python 3 bindings
z3 - theorem prover from Microsoft Research
Closes: 886590 938876
Changes:
z3 (4.8.6-1) unstable; urgency=medium
.
* New upstream release.
* Make watch file more robust (match (z3|Z3) instead of just z3).
* Add myself to Uploaders in debian/control.
* Drop the libz3-cil package (not all build dependencies are available
in Debian; also see the discussion in #886590).
* Update/refresh patches.
* Drop python-z3 package and replace it with python3-z3
(Closes: #886590, #938876).
* Enable autopkgtest package testing and add several superficial and
non-superficial test cases.
* Add -fPIC to DEB_CXXFLAGS_MAINT_APPEND in an attempt to fix #940266.
* Try to make the build more reproducible.
Checksums-Sha1:
3fce00cd1b067f7126c6159e0588aaa8d2d5f195 2659 z3_4.8.6-1.dsc
9a9ac1640ccb85cb89f35b92ffb682a9fa9deaf0 4328752 z3_4.8.6.orig.tar.gz
6e4137474c5b9d0de98c49cefcc53c11accff976 10776 z3_4.8.6-1.debian.tar.xz
d53502876fbadcebbef12c85562fcdde2f3a9420 106714708
libz3-4-dbgsym_4.8.6-1_amd64.deb
3c7a37fe225515d620ff97b6f09f7587aa5c22fc 6814300 libz3-4_4.8.6-1_amd64.deb
13544a1acabf2661b6f67a4c15b1d91e61185a91 85688 libz3-dev_4.8.6-1_amd64.deb
9455bb11d33ccc160fed9346c9cfe7b9a1487cb3 153568 libz3-java_4.8.6-1_amd64.deb
7d729c8ed327be18dae2c547c40e0677a508c092 179308
libz3-jni-dbgsym_4.8.6-1_amd64.deb
60667462bea726b5cca1e9c3f9c2f1f026f8c069 32212 libz3-jni_4.8.6-1_amd64.deb
36088f6bc2cb605219a774e458acf455ea081c47 355684
libz3-ocaml-dev-dbgsym_4.8.6-1_amd64.deb
f56cb2a0c8494bc97ed2f5282ceccaae6b642093 482044
libz3-ocaml-dev_4.8.6-1_amd64.deb
3245758b05513be5eb2492c15d21b6f51f716d8a 76376 python3-z3_4.8.6-1_amd64.deb
8534ea98c3cda57ab1c4691d98798e99b657c4e9 109906504 z3-dbgsym_4.8.6-1_amd64.deb
84f56ca5b6a74dbfeeb9f01e05ddcd01113e2cb3 13176 z3_4.8.6-1_amd64.buildinfo
aa9668e86171f1329a615de56c1901ef51b54bc6 6946676 z3_4.8.6-1_amd64.deb
Checksums-Sha256:
026d3c454ba43a0073e8fd665f65891db4da87294b1c49d9fa06802a255a7200 2659
z3_4.8.6-1.dsc
37922fa5085170cad6504498d9758fb63c61d5cb5b68689c11a6c5e84f0311b3 4328752
z3_4.8.6.orig.tar.gz
bc79c658b45b0cc37cedeecd85eedea5c3dfefe0dbfb76affbd0a8ae7acc4345 10776
z3_4.8.6-1.debian.tar.xz
a742b04f5c86dad36d0c6ac8bb59a4d8717874e4fb1fc45615dc8432c05c7f47 106714708
libz3-4-dbgsym_4.8.6-1_amd64.deb
a40319f34a97686d520d8db9c3ab7029a9e86074ffac75fba1e1ff6c6a86f6b5 6814300
libz3-4_4.8.6-1_amd64.deb
a0f808b42b079b0373459fbb97e8f5df5de9b588cd5885339e39eaee2caee7d0 85688
libz3-dev_4.8.6-1_amd64.deb
65f5999e36b4bc68c1c99a038c0d2e4ac9c1c8363fe4e03bb39a33a558bfc3b3 153568
libz3-java_4.8.6-1_amd64.deb
449de2579389ce3f79909d2aa04dea62c72dd582ab7ed71fdb4a9b07ebc6edc3 179308
libz3-jni-dbgsym_4.8.6-1_amd64.deb
77d46f1e1ae5efae8ba6f3530f0db3afc8f8859170e8dd760c181624f6ffcc80 32212
libz3-jni_4.8.6-1_amd64.deb
a21fa50a75e59d1e0f455dedfc04ab420dd75832c6797b46ea3035281adac2c6 355684
libz3-ocaml-dev-dbgsym_4.8.6-1_amd64.deb
1041e10fc3a3cb7c226b625598505901afecf62a4860faa66e3dd21218c994e2 482044
libz3-ocaml-dev_4.8.6-1_amd64.deb
4d400128eab3e844dcc06a246a78f0659eca5f1a13842d73feaa9512658d9030 76376
python3-z3_4.8.6-1_amd64.deb
6dde9577e52bb29b64c9048c3e1e674ea76cf86ca610bafb8a910cc6194922b5 109906504
z3-dbgsym_4.8.6-1_amd64.deb
ce3efa0b12e407c734171b1e6164f92f9e86ff56713e7590358b74eab3e8d471 13176
z3_4.8.6-1_amd64.buildinfo
797053007800f700b92196bc915971059dc425f7626e98685a65ad5d0e27dbdc 6946676
z3_4.8.6-1_amd64.deb
Files:
6609832edecfec2809eae205611f6cb0 2659 science optional z3_4.8.6-1.dsc
8b5468f18708351e13851e84eaa8edd4 4328752 science optional z3_4.8.6.orig.tar.gz
150ed3fa0e8dec7fb7855b32c3f5babf 10776 science optional
z3_4.8.6-1.debian.tar.xz
00ebd4143b4ae65155d079049080a0d4 106714708 debug optional
libz3-4-dbgsym_4.8.6-1_amd64.deb
48c831aac2f8b87c89001b6ab0952ca8 6814300 libs optional
libz3-4_4.8.6-1_amd64.deb
2a6ab1d0179b82a8002badef8f1aef71 85688 libdevel optional
libz3-dev_4.8.6-1_amd64.deb
3499bbb5e8cb3b28177001922701caa0 153568 java optional
libz3-java_4.8.6-1_amd64.deb
1322c889b245a084b80fe35722051ae2 179308 debug optional
libz3-jni-dbgsym_4.8.6-1_amd64.deb
2ef09b920f3b07830ea4007dc836eab7 32212 java optional
libz3-jni_4.8.6-1_amd64.deb
679b03db9f47190c58f4fc438fed527d 355684 debug optional
libz3-ocaml-dev-dbgsym_4.8.6-1_amd64.deb
36ffb02baafe7e55acf63637010c8ec9 482044 ocaml optional
libz3-ocaml-dev_4.8.6-1_amd64.deb
05aff0be5b7b564d112e3c2728520b7d 76376 python optional
python3-z3_4.8.6-1_amd64.deb
f014712b0add11e88f0f0baff13f5401 109906504 debug optional
z3-dbgsym_4.8.6-1_amd64.deb
4305e647a272786329beff6bd4f5b841 13176 science optional
z3_4.8.6-1_amd64.buildinfo
df7503056b7b9920233aa00609700cb3 6946676 science optional z3_4.8.6-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEkjZVexcMh/iCHArDweDZLphvfH4FAl2RCpgACgkQweDZLphv
fH4jdQ//Z6f+iJ4GVq1pWrodJYYFfrCxS+IH0FDVpqedpS31NX7pb8F3q42Ugsiv
XmK19lLlH1RJihUVP3m24ITorp9PWEizowJ4KOEJdXZAlO3n4QrcGkVaonoC7Mz3
ao3V+R3M9rX3m/2w2k23toM6HaYpLeSSkdR4VWE2ySv66Afo4vOstyLoSdcpvXxr
5py6Ba9fcB052EsLGtLiNIyXVGuhnv+GD8edOlXV3OdEvpjw8JhGYGmlyfzSrNKD
a4yeOoMXh+FXtV2SnHmaNFo2A9p/ZwlfWE5cQsxkdX+R+MKQv/29wv7l6ImcV7FP
wgA7IiRV0eW7jNzfnc2I9uemoQO0B9/JSKlMeeUSwBV7+Fk43hyC2eTDN5nFHLY1
KXkoICIbmGyDMcrr0jlbyLlBMslyU5lBai7TmNYWAm2VdPQY8uU0SPYbJgLS+l25
yoKK6jup2X5UmaM4Lm4JRK1rCIHsg3UiBiaoeB5GUlIDGQgFCGNS2bUEDZpeHKIm
l0ir0gFJtWfPKTsCALjl/6Z8A4pkTh5UHHQ4TItMpxGWna4DrC/I7qhnkNnrZknF
GP56GC/Qdu86eXmHbYdc1MR+CBlJ0/YjZyJkrTLlK8+3fTUful2hoClCNA2IJUrl
covisACXDJTreI/2gaEPrAru+UU4/Gh5FZ/MqEzQFkGL8r82duM=
=Pf4m
-----END PGP SIGNATURE-----
--- End Message ---
