Change logs for minisat2 source package in Jaunty

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

minisat2 (070721-3) unstable; urgency=low

  * Test, whether _FPU_EXTENDED and _FPU_DOUBLE are defined 
    (fixes FTBFS)
  * Improved description of package (Closes: #486602)

minisat2 (070721-2) unstable; urgency=low

  * Added libz-dev build-dep to fix FTBFS

minisat2 (070721-1) unstable; urgency=low

  * Initial release (Closes: #484989)

 -- Ubuntu Archive Auto-Sync <email address hidden>   Fri,  20 Jun 2008 10:59:50 +0100