vcswatch reports that
this package seems to have a new changelog entry (version
0.8.2-3, distribution
unstable) and new commits
in its VCS. You should consider whether it's time to make
an upload.
Here are the relevant commit messages:
commit 37d1b9896e77a9cd83e2c289b22a7d44c2a9830e
Author: Gábor Németh <homar@riseup.net>
Date: Wed Mar 4 09:35:37 2026 +0100
Multiarch on -dev
![[bug history graph]](https://qa.debian.org/data/bts/graphs/b/bitwuzla.png){kind=link}