Change logs for minisat2 source package in Utopic
-
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
-
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