From foo@bar  Wed Oct 28 00:30:01 2026
Format: 1.8
Date: Tue, 27 Oct 2026 22:05:52 +0000
Source: bitwuzla (0.8.2-4)
Binary: bitwuzla bitwuzla-dev libbitwuzla0 python3-bitwuzla
Binary-Only: yes
Architecture: hppa
Version: 0.8.2-4+b1
Distribution: sid
Urgency: low
Maintainer: hppa Build Daemon (pad) <buildd@pad.parisc-linux.org>
Changed-By: hppa Build Daemon (pad) <buildd@pad.parisc-linux.org>
Description:
 bitwuzla   - SMT solver for bit vectors and arrays
 bitwuzla-dev - SMT solver for bit vectors and arrays (development files)
 libbitwuzla0 - SMT solver for bit vectors and arrays (runtime libraries)
 python3-bitwuzla - SMT solver for bit vectors and arrays (Python bindings)
Changes:
 bitwuzla (0.8.2-4+b1) sid; urgency=low, binary-only=yes
 .
   * Binary-only non-maintainer upload for hppa; no source changes.
   * Rebuild with Python 3.15 as supported version
Checksums-Sha1:
 fa1e194fc3721dcef87c09c619481eda5333c9b7 25744 bitwuzla-dev_0.8.2-4+b1_hppa.deb
 221f614fd27a2892aeadacb93395d1630fe9aa93 12076 bitwuzla_0.8.2-4+b1_hppa.buildinfo
 6b2ff2298440c168d0f06a0fa84f882d1c530f38 33780 bitwuzla_0.8.2-4+b1_hppa.deb
 312ce0fb798fec275aecd5ab8a4403d594e1f04d 1384752 libbitwuzla0_0.8.2-4+b1_hppa.deb
 91d205d6df5d51689b400b342ad1fd47c5a783db 168680 python3-bitwuzla_0.8.2-4+b1_hppa.deb
Checksums-Sha256:
 79da7fddd8f4e026ec082799cceb6157f1aea9106366754db307f82edc58ca0b 25744 bitwuzla-dev_0.8.2-4+b1_hppa.deb
 164674c67fc7dfb7b7d3968563e3f772630d090401927cd1b7aea9bc673b1a3e 12076 bitwuzla_0.8.2-4+b1_hppa.buildinfo
 5116bb74c23255bbde0e4c3a0736fec61dd62825f7fdb81a29a3a78b058bfb05 33780 bitwuzla_0.8.2-4+b1_hppa.deb
 f69e740858e2f689d91b1d6ac0e42f8e7fb0a3b01c3366685a2fc0f537f4e627 1384752 libbitwuzla0_0.8.2-4+b1_hppa.deb
 6108c4dd6ebf5126d09f6454fb8545bd027f9ac4eae3535ad5683b3e365ffc01 168680 python3-bitwuzla_0.8.2-4+b1_hppa.deb
Files:
 2c4cd36f00dbde5c2313777bdd6ef8df 25744 science optional bitwuzla-dev_0.8.2-4+b1_hppa.deb
 47302308adefb1e76c72330d649f567f 12076 science optional bitwuzla_0.8.2-4+b1_hppa.buildinfo
 fc351faaa002eb7ad3316e9b04889d11 33780 science optional bitwuzla_0.8.2-4+b1_hppa.deb
 d12e26f06886f5f4678290160a7d8cd4 1384752 libs optional libbitwuzla0_0.8.2-4+b1_hppa.deb
 4b8ee479587c0d94dd01a35ba8f4fc0e 168680 python optional python3-bitwuzla_0.8.2-4+b1_hppa.deb
Signed-By: Debian buildd autosigning key for pad <buildd_hppa-pad@buildd.debian.org>