Ubuntu
minisat2 package

Change logs for minisat2 source package in Saucy

  1. Saucy (13.10)
  2. Change log 
  • 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
  • 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