btor2tools (1.0.2~git20250507.fb69ee3-1) unstable; urgency=medium

  * Initial release (Closes: #1111868)

 -- Andreas Tille <tille@debian.org>  Sat, 23 Aug 2025 06:54:26 +0200
