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
Location: DEFERRED
Delayed-Until: 2026-05-14 13:11:25
Delay-Remaining: 8 days 05:14
Fingerprint: 3AFA757FAC6EA11D2FF45DF088D24287A2D898B1