From foo@bar  Sat Jun 27 18:30:05 2026
Format: 1.8
Date: Sat, 27 Jun 2026 17:59:13 +0000
Source: bitwuzla (0.8.2-2)
Binary: bitwuzla bitwuzla-dev libbitwuzla0 python3-bitwuzla
Binary-Only: yes
Architecture: x32
Version: 0.8.2-2+b1
Distribution: sid
Urgency: low
Maintainer: x32 Build Daemon (x32-do-01) <buildd@x32-do-01.buildd.org>
Changed-By: x32 Build Daemon (x32-do-01) <buildd@x32-do-01.buildd.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-2+b1) sid; urgency=low, binary-only=yes
 .
   * Binary-only non-maintainer upload for x32; no source changes.
   * Rebuild with python3.14 as default.
Checksums-Sha1:
 79e4b8b58e4e9989c522a9f3a8adba3acb495fff 25584 bitwuzla-dev_0.8.2-2+b1_x32.deb
 9420e38c9084b5080ac586fbdfe6938c20dc3694 12299 bitwuzla_0.8.2-2+b1_x32.buildinfo
 62a63484e8f6b834ccaa43c6e322439a10527b18 38072 bitwuzla_0.8.2-2+b1_x32.deb
 153e76de156417fb6091729c52aa0ca86179d195 1516140 libbitwuzla0_0.8.2-2+b1_x32.deb
 cbe454d70cf6a2d2bc0d792143d8d0bcb11ad706 145748 python3-bitwuzla_0.8.2-2+b1_x32.deb
Checksums-Sha256:
 8376e10640fd54023c58601d17c2b77491cb1dd3968e111cf9449e505089b940 25584 bitwuzla-dev_0.8.2-2+b1_x32.deb
 49b09c0ad01c357d91e1e8e0e7c939cb0d53b676a3912118be0f3a40591d6a25 12299 bitwuzla_0.8.2-2+b1_x32.buildinfo
 ffd1849cebc093501f96e01c0fc76485cc3b5d57b41a680de78d994e48f62bc0 38072 bitwuzla_0.8.2-2+b1_x32.deb
 17794495d34cbb2a51cfac5d595644a02c753dc0619d3d2c29e31a051f17d0a2 1516140 libbitwuzla0_0.8.2-2+b1_x32.deb
 a2789b612ef9de7f3fa0b59cc7354ebc72884b7aef9117ca8a074f0d0cc6def2 145748 python3-bitwuzla_0.8.2-2+b1_x32.deb
Files:
 c6737113a312e07bf2cea7aecb3195c7 25584 science optional bitwuzla-dev_0.8.2-2+b1_x32.deb
 0d812a8ddf13b78457d78733cbc4c3ea 12299 science optional bitwuzla_0.8.2-2+b1_x32.buildinfo
 e3fdc096a84d7a7b7fdb021bc85bbddd 38072 science optional bitwuzla_0.8.2-2+b1_x32.deb
 81e53a944679006876f3b49bb36d2364 1516140 libs optional libbitwuzla0_0.8.2-2+b1_x32.deb
 a87f0060b5331c2c6b6cf8204f1b3297 145748 python optional python3-bitwuzla_0.8.2-2+b1_x32.deb
Signed-By: Debian buildd autosigning key for x32-do-01 <buildd_x32-x32-do-01@buildd.debian.org>