bitwuzla (0.8.2-4) unstable; urgency=medium

  * Allow tests more time on some archs (Closes: #1143940)
    with thanks to Adrian Bunk for the patch

 -- Gábor Németh <homar@riseup.net>  Mon, 17 Aug 2026 14:45:22 +0200

bitwuzla (0.8.2-3) unstable; urgency=medium

  * One more multiarch hint
  * Bump Std-Ver to 4.7.4
  * Bump compat to 14
  * Fix Python versions (Closes: #1141249)

 -- Gábor Németh <homar@riseup.net>  Mon, 06 Jul 2026 10:31:25 +0200

bitwuzla (0.8.2-2) unstable; urgency=medium

  * Fix d/watch
  * Update Standards-Version to 4.7.3: drop default Priority in d/ctrl
  * Drop B-D on quilt (Closes: #1129345)
  * Implement multiarch hints

 -- Gábor Németh <homar@riseup.net>  Mon, 02 Mar 2026 15:27:15 +0100

bitwuzla (0.8.2-1) unstable; urgency=medium

  * Initial release. (Closes: #1121763)

 -- Gábor Németh <homar@riseup.net>  Mon, 15 Dec 2025 10:53:05 +0100
