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