[ubuntu/resolute-proposed] z3 4.13.3-1build1 (Accepted)

[Matthias Klose]

z3 (4.13.3-1build1) resolute; urgency=medium

  * No-change rebuild to restore i386 binaries.

Date: Sat, 08 Nov 2025 15:18:16 +0100
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: LLVM Packaging Team <pkg-llvm-team at lists.alioth.debian.org>
https://launchpad.net/ubuntu/+source/z3/4.13.3-1build1
-------------- next part --------------
Format: 1.8
Date: Sat, 08 Nov 2025 15:18:16 +0100
Source: z3
Built-For-Profiles: noudeb
Architecture: source
Version: 4.13.3-1build1
Distribution: resolute
Urgency: medium
Maintainer: LLVM Packaging Team <pkg-llvm-team at lists.alioth.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 z3 (4.13.3-1build1) resolute; urgency=medium
 .
   * No-change rebuild to restore i386 binaries.
Checksums-Sha1:
 235c0d96fe5277c753f320b7015658f9da61839c 2728 z3_4.13.3-1build1.dsc
 6a1a69f165a4f4dc6a5cdeeba7ca6661fe4e7e39 10764 z3_4.13.3-1build1.debian.tar.xz
 958c8834f131b2d2c73ca25d10d5689caec39e2e 14493 z3_4.13.3-1build1_source.buildinfo
Checksums-Sha256:
 6d727189840df6469fbddf80a8a457f2f678032a4f0b5d1ad6508a8a8467c6b1 2728 z3_4.13.3-1build1.dsc
 00fed5b4a858fb5d79574c57000ae496ff4aaa2c5fb34b56bb34f8b75e1ac79b 10764 z3_4.13.3-1build1.debian.tar.xz
 556c4d56a3487e5a117c90992707efc6b8c97f68416ae79dcfdbd68b6068c84d 14493 z3_4.13.3-1build1_source.buildinfo
Files:
 e828400588fa590646b0735fed64cc0c 2728 science optional z3_4.13.3-1build1.dsc
 dee7e2b166e23db20e1407aeb02eb8df 10764 science optional z3_4.13.3-1build1.debian.tar.xz
 36b016354e71b31409876c1329297097 14493 science optional z3_4.13.3-1build1_source.buildinfo