minisat2 (1:2.2.1-8build1) noble; urgency=medium

  * No-change rebuild for CVE-2024-3094

 -- William Grant <wgrant@ubuntu.com>  Mon, 01 Apr 2024 17:57:42 +1100

minisat2 (1:2.2.1-8) unstable; urgency=low

  * Disable parallel builds to fix occasional FTBFS

 -- Michael Tautschnig <mt@debian.org>  Mon, 26 Feb 2024 16:47:37 +0000

minisat2 (1:2.2.1-7) unstable; urgency=low

  * Fix FTCBFS: ensure sh target is required by all. Thanks Helmut Grohne
    <helmut@subdivi.de> for debugging (closes: #1064366)

 -- Michael Tautschnig <mt@debian.org>  Thu, 22 Feb 2024 10:47:31 +0000

minisat2 (1:2.2.1-6) unstable; urgency=low

  * Bumped standards version to 4.6.2 (no changes)
  * Remove transitional minisat2 package (closes: #878693)
  * Enable verbose build logs by default: thanks Helmut Grohne
    <helmut@subdivi.de> for the patch (closes: #900023)

 -- Michael Tautschnig <mt@debian.org>  Tue, 20 Feb 2024 11:23:45 +0000

# Older entries have been removed from this changelog.
# To read the complete changelog use `apt changelog minisat`.
