Your message dated Thu, 14 May 2026 07:19:38 +0000
with message-id <[email protected]>
and subject line Bug#1084002: fixed in z3 4.13.3-1.1
has caused the Debian Bug report #1084002,
regarding z3: (build-)depends on deprecated module python3-pkg-resources
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.)
--
1084002: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1084002
Debian Bug Tracking System
Contact [email protected] with problems
--- Begin Message ---
Package: src:z3
Version: (4.8.12-3.1)
Severity: normal
Tags: sid trixie
User: [email protected]
Usertags: pkg-resources-deprecation
[This bug is targeted to the upcoming trixie release]
The package build-depends or depends on python3-pkg-resources, which is
deprecated upstream. Details can be found at
https://setuptools.pypa.io/en/latest/pkg_resources.html
Use of pkg_resources is deprecated in favor of importlib.resources,
importlib.metadata and their backports (importlib_resources,
importlib_metadata).
Some useful APIs are also provided by packaging (e.g. requirements and version
parsing). Users should refrain from new usage of pkg_resources and should work
to port to importlib-based solutions.
Python 3.12 in unstable provides both importlib_resources and
importlib_metadata, so no additional dependencies on those packages are needed.
--- End Message ---
--- Begin Message ---
Source: z3
Source-Version: 4.13.3-1.1
Done: Adrian Bunk <[email protected]>
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: Mon, 04 May 2026 15:38:14 +0300
Source: z3
Architecture: source
Version: 4.13.3-1.1
Distribution: unstable
Urgency: medium
Maintainer: LLVM Packaging Team <[email protected]>
Changed-By: Adrian Bunk <[email protected]>
Closes: 1084002
Changes:
z3 (4.13.3-1.1) unstable; urgency=medium
.
* Non-maintainer upload.
* python3-z3: Remove the stale dependency on python3-pkg-resources.
(Closes: #1084002)
Checksums-Sha1:
b571ddd121219dba434730f9d0b7da3b43824aa6 2771 z3_4.13.3-1.1.dsc
840ebb7b413f4f6f043a6a9fb7db5385bfe6a256 10736 z3_4.13.3-1.1.debian.tar.xz
Checksums-Sha256:
bb66bb2f30637edf5190615ce136283db113560defcbd1d6de8050cff2c88b2d 2771
z3_4.13.3-1.1.dsc
a54785a60a5130417b1cebaa4dac8a572fea550c32e52317f4fccd5c6db36936 10736
z3_4.13.3-1.1.debian.tar.xz
Files:
ff5ba6202eaad9fa6a3614ad8e290ae3 2771 science optional z3_4.13.3-1.1.dsc
ef286bfdaae4759ca2ab4214318ccc07 10736 science optional
z3_4.13.3-1.1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEOvp1f6xuoR0v9F3wiNJCh6LYmLEFAmn4l3wACgkQiNJCh6LY
mLFklQ//TDqYOteznyqE3gcqqkfZ+KRWOkW4543hehP1l+rkIghAKMybIZ4t2kVi
DX/qyCM4wgrGipEnv8CcJb2UDIOC/zfylRMuikQQY2+WXGzPeK12hXgeUsExWzFn
f+U9HP0A/dPm/mfTYss5ZzfYmuxRf2inR0YnoxDHozgpYIz5pn1intRd28zrjbBr
avJeNB71EIESm9IjhTSaAIIpNwqoK3FiiWup68ISkxFTEkL6sXg+o/GPsA1cW1cw
o4JmFf1WsQ7aw2H6qKhNI6L77GRzjiQpIFPbsqUiGEyi6pscC1wm5vMyx93n+o+r
MpoIo1qAN0J5eXHtXIEo0l9aZcdVmxBM750NJWBSb9ZrjiCM8YmnHe+2MSddaDnd
UsjL5Wwlutz8eOVvAc94cvHcli+9hAObNJfdesJw9cAYcqqY8D1TacVf/KvSsd8p
fDTvyqu/Kq7v0K/uuPR1ri+VLKTTbrj4HBqoGB6TaYEJy6+K8gPsuETKngv5eDgb
Xg6D2rEjarsdZv4YHb39iLwUlHsqSL1vJ6gWexZ81l8gBznLLQsLeok91eKjVHLY
cc6WYNNPaESIB5el9QjfTQuqLC6WtaDjA4zdfh3mcUqC65wFo6pc/8/mnv7DGCCD
QHYity0nGh4t0aBp9vEs317cxtwJNlqYyyovyDpg0c0ofztizGU=
=uG9Y
-----END PGP SIGNATURE-----
pgpcHDr8aOnCv.pgp
Description: PGP signature
--- End Message ---
