[ubuntu/precise] sat4j 2.3.1-1 (Accepted)

[Benjamin Drung]

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

Date: 2012-03-04 15:27:43.198267+00:00
Changed-By: Michael Tautschnig <mt at debian.org>
Signed-By: Benjamin Drung <bdrung at debian.org>
https://launchpad.net/ubuntu/precise/+source/sat4j/2.3.1-1
-------------- next part --------------
Sorry, changesfile not available.