Accepted z3 4.13.3-1.1 (source) into unstable

-----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 <pkg-llvm-team@lists.alioth.debian.org>
Changed-By: Adrian Bunk <bunk@debian.org>
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-----