-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Fri, 22 Aug 2008 14:04:11 +0000 Source: sat4j Binary: sat4j Architecture: source all Version: 2.0.2-1 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: 493917 Changes: sat4j (2.0.2-1) unstable; urgency=low . * New upstream version (closes: #493917)) * Switching over to openjdk-6 to get package fit for main * Fixed warnings caused by errors in ant build file * Build-depends on ant because it is used in clean, added lintian override Checksums-Sha1: 6bc140e9b20c8c02437ed89ad0751ae60f443631 1115 sat4j_2.0.2-1.dsc f1c28026bc2a94b8ee9ad3de6d883ba470af5f06 178291 sat4j_2.0.2.orig.tar.gz a1b1970b4d6b78b38a140b7130475589a7b1b1d1 10203 sat4j_2.0.2-1.diff.gz 8f3afea319fbb10e59a6f5aefac0b1ebeb753113 230694 sat4j_2.0.2-1_all.deb Checksums-Sha256: f158e4ebe9bdb276ab02339936a82ca04e0d6f63e27e09300227914a523dc296 1115 sat4j_2.0.2-1.dsc b62295d6d00deedac3452fadb40cb48892157fbdccb03d223eebef04f9629182 178291 sat4j_2.0.2.orig.tar.gz a1ecf4794a129b942e8763afd06bfbf9a62a8f29b70e4450d3919cdd396f4151 10203 sat4j_2.0.2-1.diff.gz 19f92b795e1507893a7728f2b4f521806dfad8d9bfa00da50d10bb76538ef20b 230694 sat4j_2.0.2-1_all.deb Files: b3d0a6764383455d78436e13fadc5ce5 1115 science extra sat4j_2.0.2-1.dsc ced5b4c96e325f347707bd115642f968 178291 science extra sat4j_2.0.2.orig.tar.gz c09a7da6ab95aab2304749fa7a504ebf 10203 science extra sat4j_2.0.2-1.diff.gz fc75dc7fdfb0a4d0a7285b4cfe860603 230694 science extra sat4j_2.0.2-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkiuyUgACgkQvx6dH3bVKsQSUwCeM0vDq+1skfEmjJJSOCwt2Wen +tMAoIZzusUjC0GEVMOzvrXLod6Dxs1F =pXPr -----END PGP SIGNATURE----- Accepted: sat4j_2.0.2-1.diff.gz to pool/main/s/sat4j/sat4j_2.0.2-1.diff.gz sat4j_2.0.2-1.dsc to pool/main/s/sat4j/sat4j_2.0.2-1.dsc sat4j_2.0.2-1_all.deb to pool/main/s/sat4j/sat4j_2.0.2-1_all.deb sat4j_2.0.2.orig.tar.gz to pool/main/s/sat4j/sat4j_2.0.2.orig.tar.gz
