Ubuntu
minisat2 package

Change logs for minisat2 source package in Noble

  1. Noble (24.04)
  2. Change log 
  • minisat2 (1:2.2.1-8build1) noble; urgency=medium

  * No-change rebuild for CVE-2024-3094

 -- William Grant <email address hidden>  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 <email address hidden>  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
    <email address hidden> for debugging (closes: #1064366)

 -- Michael Tautschnig <email address hidden>  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
    <email address hidden> for the patch (closes: #900023)

 -- Michael Tautschnig <email address hidden>  Tue, 20 Feb 2024 11:23:45 +0000
  • minisat2 (1:2.2.1-5build2) focal; urgency=medium

  * No-change rebuild for libgcc-s1 package name change.

 -- Matthias Klose <email address hidden>  Sun, 22 Mar 2020 16:49:51 +0100