Change log for minisat2 package in Ubuntu

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

Available diffs

• diff from 1:2.2.1-8 (in Debian) to 1:2.2.1-8build1 (554 bytes)

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

Available diffs

• diff from 1:2.2.1-7 to 1:2.2.1-8 (421 bytes)

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

Available diffs

• diff from 1:2.2.1-6 to 1:2.2.1-7 (1.2 KiB)

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

Available diffs

• diff from 1:2.2.1-5build2 (in Ubuntu) to 1:2.2.1-6 (1.7 KiB)

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

Available diffs

• diff from 1:2.2.1-5build1 to 1:2.2.1-5build2 (349 bytes)

minisat2 (1:2.2.1-5build1) bionic; urgency=high

  * No change rebuild to pick up -fPIE compiler default

 -- Balint Reczey <email address hidden>  Tue, 03 Apr 2018 12:34:58 +0000

Available diffs

• diff from 1:2.2.1-5 (in Debian) to 1:2.2.1-5build1 (567 bytes)

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


  * Fix C++ syntax to enable Clang builds (closes: #756336)
  * Bumped standards version to 3.9.5 (no changes)

 -- Michael Tautschnig <email address hidden>  Wed, 30 Jul 2014 10:38:25 +0100

Available diffs

• diff from 1:2.2.1-4 to 1:2.2.1-5 (1.4 KiB)

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


  * Require a non-zero memory limit (closes: #716229)
  * Bumped standards version to 3.9.4 (no changes)
  * Bumped compatibility level to 9

 -- Michael Tautschnig <email address hidden>  Fri, 12 Jul 2013 21:42:02 +0100

Available diffs

• diff from 1:2.2.1-3 (in Ubuntu) to 1:2.2.1-4 (1.8 KiB)

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

  * Updated man page (closes: #638217)
 -- Ubuntu Archive Auto-Sync <email address hidden>   Mon,  17 Oct 2011 11:15:43 +0000

Available diffs

• diff from 1:2.2.1-2 to 1:2.2.1-3 (2.6 KiB)

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

  * Include headers from simp/ directory in package
  * Bumped standards version to 3.9.2 (no changes)
 -- Ubuntu Archive Auto-Sync <email address hidden>   Tue,  14 Jun 2011 10:04:16 +0000

Available diffs

• diff from 1:2.2.1-1 to 1:2.2.1-2 (688 bytes)

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

  * Upload of package with revamped build system to unstable.
  * Rename main binary package to minisat, added transitional package.
  * Use debhelper 7.

Available diffs

• diff from 1:2.2.0-2 to 1:2.2.1-1 (87.2 KiB)

minisat2 (1:2.2.0-2) unstable; urgency=low

  * Fix FTBFS due to undefined _FPU_{EXTENDED,DOUBLE} (closes: #590254).
  * Fix FTBFS due to undefined memUsedPeak (closes: #590255).

Available diffs

• diff from 070721-8 to 1:2.2.0-2 (63.3 KiB)

minisat2 (070721-8) unstable; urgency=low

  * Added Homepage field.

Available diffs

• diff from 070721-6 to 070721-8 (2.1 KiB)

minisat2 (070721-6) unstable; urgency=low

  * Completed man page (Closes: #501983)

Available diffs

• diff from 070721-3 to 070721-6 (5.2 KiB)

minisat2 (070721-3) unstable; urgency=low

  * Test, whether _FPU_EXTENDED and _FPU_DOUBLE are defined 
    (fixes FTBFS)
  * Improved description of package (Closes: #486602)