Ubuntu
minisat2 package

Change logs for minisat2 source package in Raring

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