-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sat, 01 Nov 2008 16:38:35 +0000 Source: sat4j Binary: sat4j Architecture: source all Version: 2.0.4-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: 494944 503796 Changes: sat4j (2.0.4-1) unstable; urgency=low . * New upstream version (closes: #494944) * Depend on proper java6 runtime (closes: #503796) Checksums-Sha1: 145d64404190e5e849513abdfe911f2d20377a39 1121 sat4j_2.0.4-1.dsc da8009ff348e09d156ceca2934438531a933c36a 13200366 sat4j_2.0.4.orig.tar.gz 046d7c64c8a80552a6fcefed8dd39e48dc56310d 10211 sat4j_2.0.4-1.diff.gz 6bdc37b392d9c0e9547efc26d844006b180217c3 258180 sat4j_2.0.4-1_all.deb Checksums-Sha256: 2bd3d5df6201ae54736200f68c89a511821380e7596731e3cf620f846a1fe298 1121 sat4j_2.0.4-1.dsc 40f32b20d65cf56c5af461fcf90830c33d9b84c47aa7d855cae78f08304fa840 13200366 sat4j_2.0.4.orig.tar.gz 9982491b085bb8da7b95d0cc84dc5403fef4de897c2cb2fef365bc398e0b0ba7 10211 sat4j_2.0.4-1.diff.gz 9becb1cb7c244148d225e7f3c31c19a0db30feae42eef7efb4e43f03ea245c62 258180 sat4j_2.0.4-1_all.deb Files: 6d752f4e74f1eed747bd1fc967169a6c 1121 science extra sat4j_2.0.4-1.dsc c1d005ff4ab5d13458bcffa1e9889f98 13200366 science extra sat4j_2.0.4.orig.tar.gz a8ae14ee015af2dce47d21cd34a96001 10211 science extra sat4j_2.0.4-1.diff.gz 8869eb9b56d0f65b976fac2af648ba43 258180 science extra sat4j_2.0.4-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkkNnscACgkQvx6dH3bVKsTuAgCdFUPkvGZ8YZG5UpPMeSirImYl l6cAnAqkOX61hnmWu98+IEo0UjVGV5Py =yojB -----END PGP SIGNATURE----- Accepted: sat4j_2.0.4-1.diff.gz to pool/main/s/sat4j/sat4j_2.0.4-1.diff.gz sat4j_2.0.4-1.dsc to pool/main/s/sat4j/sat4j_2.0.4-1.dsc sat4j_2.0.4-1_all.deb to pool/main/s/sat4j/sat4j_2.0.4-1_all.deb sat4j_2.0.4.orig.tar.gz to pool/main/s/sat4j/sat4j_2.0.4.orig.tar.gz