-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Mon, 16 Feb 2009 11:35:25 +0000
Source: sat4j
Binary: sat4j
Architecture: source all
Version: 2.0.5-2
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Description:
sat4j - Efficient library of SAT solvers in Java
Changes:
sat4j (2.0.5-2) unstable; urgency=low
.
* Dropped use of junit, only junit4 remains (fixes spurious errors in unit
tests)
* Added lintian source override for build-depends-without-arch-dep ant
* Reworded description as suggested by lintian (using-first-person)
Checksums-Sha1:
fe227805f368479dcc3976df331d9145f00487b1 1125 sat4j_2.0.5-2.dsc
bd6fd519a3f86452fac39617fecf1ddbb2a03389 9070 sat4j_2.0.5-2.diff.gz
c9e132e5cb45d1dd68c431d35dc8566a1befaf6e 226296 sat4j_2.0.5-2_all.deb
Checksums-Sha256:
5e0a3727e5ac5544650d12ba791484698f13c528b802433f9f8a5c4e0e8dc1e4 1125 sat4j_2.0.5-2.dsc
304d6d71c7394ebec7e3611aa11a1b28cdda9f89343ab163b4759af41a08aebb 9070 sat4j_2.0.5-2.diff.gz
2ef3c3b3466e05846f05474995d86ca3b7f6a6a3fe8a40ecd6d50ae313d39692 226296 sat4j_2.0.5-2_all.deb
Files:
9de4502fdf059b5f455200223e8d75cf 1125 science extra sat4j_2.0.5-2.dsc
ebbf79231f475ffe042783143a66ad1a 9070 science extra sat4j_2.0.5-2.diff.gz
eec18478f1cffeaa7fa49e278b93a0af 226296 science extra sat4j_2.0.5-2_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAkmZV5EACgkQvx6dH3bVKsTc9QCfcyYv7Hk1Uybxfmhvz7XF1Upz
0IcAn1ecJZwAT/LqXtFjqfJ4G9+GWpCU
=MeTW
-----END PGP SIGNATURE-----
Accepted:
sat4j_2.0.5-2.diff.gz
to pool/main/s/sat4j/sat4j_2.0.5-2.diff.gz
sat4j_2.0.5-2.dsc
to pool/main/s/sat4j/sat4j_2.0.5-2.dsc
sat4j_2.0.5-2_all.deb
to pool/main/s/sat4j/sat4j_2.0.5-2_all.deb
