-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Tue, 13 Apr 2010 16:51:40 +0200 Source: sat4j Binary: sat4j Architecture: source all Version: 2.1.1-3 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 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) Checksums-Sha1: e27220ae2ca15dbbf8cfa077cc3c8f0d5b49b17e 1140 sat4j_2.1.1-3.dsc e58abc44b7cbd2e1d3f2588e94672c33beaba13d 10488 sat4j_2.1.1-3.debian.tar.gz 364702f303a46979d6d1159ba53bd12c1c4871ca 246912 sat4j_2.1.1-3_all.deb Checksums-Sha256: 151380d60016e08fdb148df8a741609e0851ee9a8d10023e6a3a7beaa280d3c8 1140 sat4j_2.1.1-3.dsc ca808285d6e903000400a47bfe04b2649d865282ce57d605df9212934b4c7bca 10488 sat4j_2.1.1-3.debian.tar.gz 030f1ad117dabf0409d136602fe1c5c62e78f6eb8ef5027a611c07884546164c 246912 sat4j_2.1.1-3_all.deb Files: b1d305d785e5b4096276d3a1843145b2 1140 science optional sat4j_2.1.1-3.dsc d3da69504a256eddb0cb2fccf5dea6d0 10488 science optional sat4j_2.1.1-3.debian.tar.gz 15f1f5da00e1a4d56088481d73bc7758 246912 science optional sat4j_2.1.1-3_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkvErWUACgkQvx6dH3bVKsS5/ACgtoiFcONE5OWBK1R3dPpWP8Yb j0sAniVHxD4/oDLQbTPRHzeU1WEHBd6/ =oWq7 -----END PGP SIGNATURE----- Accepted: sat4j_2.1.1-3.debian.tar.gz to main/s/sat4j/sat4j_2.1.1-3.debian.tar.gz sat4j_2.1.1-3.dsc to main/s/sat4j/sat4j_2.1.1-3.dsc sat4j_2.1.1-3_all.deb to main/s/sat4j/sat4j_2.1.1-3_all.deb
