btor2tools (1.0.2~git20250918.d33c73f-1) unstable; urgency=medium

  * Fix Depends
  * New upstream version
  * Update watch file format version to 5.
  * Set upstream metadata fields: Bug-Database, Repository, Repository-Browse.
  * debputy lint --auto-fix (routine-update)

 -- Andreas Tille <tille@debian.org>  Wed, 04 Mar 2026 15:01:47 +0100

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

  * Refine d/copyright after Gateway to new hints
  * Standards-Version: 4.7.3 (routine-update)
  * Remove Priority field to comply with Debian Policy 4.7.3 (routine-
    update)

 -- Andreas Tille <tille@debian.org>  Fri, 30 Jan 2026 15:05:45 +0100

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
