-
sat4j (2.3.1-1) unstable; urgency=low
* New upstream release
* Bumped standards version to 3.9.3 (no changes)
* Added link to existing (but CC-BY-NC-ND) documentation
(closes: #635357)
* No longer requires maxsat-as-patch
-- Michael Tautschnig <email address hidden> Sun, 04 Mar 2012 01:38:25 +0000
-
sat4j (2.3.0-3) unstable; urgency=low
* Reworked debian/rules using dh+jh (closes: #641378)
* Cleanup patch names to make dpkg happy
* Build level 1.5 bytecode as requested on eclipse/linuxtools-dev
-- Ubuntu Archive Auto-Sync <email address hidden> Fri, 04 Nov 2011 13:12:17 +0000
-
sat4j (2.3.0-2) unstable; urgency=low
* Include maxsat solver (closes: #636784)
-- Ubuntu Archive Auto-Sync <email address hidden> Mon, 17 Oct 2011 15:33:33 +0000
-
sat4j (2.3.0-1) unstable; urgency=low
* New upstream release (closes: #630720)
* Bumped standards version to 3.9.2 (no changes)
-- Ubuntu Archive Auto-Sync <email address hidden> Thu, 16 Jun 2011 22:57:48 +0000