Among the 1 debian patch
available in version 1.0.2~git20250507.fb69ee3-2 of the package,
we noticed the following issues:
- 1 patch
where the metadata indicates that the patch has not yet been forwarded
upstream. You should either forward the patch upstream or update the
metadata to document its real status.
![[bug history graph]](https://qa.debian.org/data/bts/graphs/b/btor2tools.png){kind=link}