Ubuntu
minisat2 package

Change logs for minisat2 source package in Lucid

  1. Lucid (10.04)
  2. Change log 
  • minisat2 (070721-8) unstable; urgency=low

  * Added Homepage field.

minisat2 (070721-7) unstable; urgency=low

  * Bumped standards version to 3.8.3 (no changes).
  * Use Copyright instead of (C) in debian/copyright.
  * Build dynamic library (thanks Pietro Abate <email address hidden>
    for ideas and patches). (Closes: #537372)
 -- Ubuntu Archive Auto-Sync <email address hidden>   Mon,  18 Jan 2010 07:31:57 +0000
  • 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