Ubuntu
minisat2 package

Change logs for minisat2 source package in Karmic

  1. Karmic (9.10)
  2. Change log 
  • minisat2 (070721-6) unstable; urgency=low

  * Completed man page (Closes: #501983)

minisat2 (070721-5) unstable; urgency=low

  * Also test for _FPU_GETCW being defined to fix FTBFS on alpha

minisat2 (070721-4) unstable; urgency=low

  * Added David A. Wheeler's nice intro to SAT solving

 -- Ubuntu Archive Auto-Sync <email address hidden>   Wed,  05 Nov 2008 10:41:22 +0000