2008
minisat2 (070721-6) unstable; urgency=low
* Completed man page (Closes: #501983)
-- Michael Tautschnig <mt@debian.org> Sun, 26 Oct 2008 20:35:45 +0100
minisat2 (070721-5) unstable; urgency=low
* Also test for _FPU_GETCW being defined to fix FTBFS on alpha
-- Michael Tautschnig <mt@debian.org> Sun, 07 Sep 2008 21:09:47 +0200
minisat2 (070721-4) unstable; urgency=low
* Added David A. Wheeler's nice intro to SAT solving
-- Michael Tautschnig <mt@debian.org> Sun, 07 Sep 2008 19:32:20 +0200
minisat2 (070721-3) unstable; urgency=low
* Test, whether _FPU_EXTENDED and _FPU_DOUBLE are defined
(fixes FTBFS)
* Improved description of package (Closes: #486602)
-- Michael Tautschnig <mt@debian.org> Tue, 17 Jun 2008 21:51:01 +0000
minisat2 (070721-2) unstable; urgency=low
* Added libz-dev build-dep to fix FTBFS
-- Michael Tautschnig <mt@debian.org> Mon, 16 Jun 2008 12:51:36 +0000
minisat2 (070721-1) unstable; urgency=low
* Initial release (Closes: #484989)
-- Michael Tautschnig <mt@debian.org> Sat, 7 Jun 2008 17:10:44 +0200