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 <[email protected]>
Signed-By: Benjamin Drung <[email protected]>
https://launchpad.net/ubuntu/precise/+source/sat4j/2.3.1-1
Sorry, changesfile not available.
--
Precise-changes mailing list
[email protected]
Modify settings or unsubscribe at:
https://lists.ubuntu.com/mailman/listinfo/precise-changes
