[ubuntu/lucid] sat4j 2.1.1-3 (Accepted)
Ubuntu Installer
archive at ubuntu.com
Sun Apr 18 07:19:50 BST 2010
sat4j (2.1.1-3) unstable; urgency=low
* Bumped standards version to 3.8.4 (no changes)
* Use ${java:Depends} and javahelper to get proper dependencies (closes:
#577479)
Date: Sun, 18 Apr 2010 07:15:57 +0100
Changed-By: Leo Plotkin <lplotkin at gmail.com>
Maintainer: Michael Tautschnig <mt at debian.org>
Origin: Debian/unstable
https://launchpad.net/ubuntu/lucid/+source/sat4j/2.1.1-3
-------------- next part --------------
Origin: Debian/unstable
Format: 1.7
Date: Sun, 18 Apr 2010 07:15:57 +0100
Source: sat4j
Binary: sat4j
Architecture: source
Version: 2.1.1-3
Distribution: lucid
Urgency: low
Maintainer: Michael Tautschnig <mt at debian.org>
Changed-By: Leo Plotkin <lplotkin at gmail.com>
Description:
sat4j - Efficient library of SAT solvers in Java
Closes: 577479
Changes:
sat4j (2.1.1-3) unstable; urgency=low
.
* Bumped standards version to 3.8.4 (no changes)
* Use ${java:Depends} and javahelper to get proper dependencies (closes:
#577479)
Files:
b1d305d785e5b4096276d3a1843145b2 1140 science optional sat4j_2.1.1-3.dsc
d3da69504a256eddb0cb2fccf5dea6d0 10488 science optional sat4j_2.1.1-3.debian.tar.gz
More information about the Lucid-changes
mailing list