-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sun, 02 Nov 2008 18:42:11 +0000 Source: sat4j Binary: sat4j Architecture: source all Version: 2.0.4-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.4-2) unstable; urgency=low . * Run tests after build unless nocheck * Requires ant-optional Checksums-Sha1: f9664d62db6be79f3792e88d7ceab2c8d580f7b9 1135 sat4j_2.0.4-2.dsc 764c46d99c088609eb2bad01d799c9121f645812 12323 sat4j_2.0.4-2.diff.gz e0911f02044c0fefc0bbfde4d9bc796db3f8cf93 221676 sat4j_2.0.4-2_all.deb Checksums-Sha256: 1c7c26961f289bbf397c579da6746f1b8cf1a762ac68b8d827573f97feb4e2e5 1135 sat4j_2.0.4-2.dsc 85ec80059f0153d800bf63d7655900420492ec4e62d98ecd8952b0f84ec32be3 12323 sat4j_2.0.4-2.diff.gz 8864a3eef4088f5c588bffc82e390001b6e91d879b16ef1a48a88408d28985f1 221676 sat4j_2.0.4-2_all.deb Files: ced95aa7d196909527a4f78ab52b41b5 1135 science extra sat4j_2.0.4-2.dsc 4544bfebf98a8d68c14daeadcd3a736d 12323 science extra sat4j_2.0.4-2.diff.gz a6aa40eb4d92a923e5954414bcbc79b7 221676 science extra sat4j_2.0.4-2_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkkOCHcACgkQvx6dH3bVKsTxSQCgnOCaA7sOQqdBdMAnx2hGPHhA DTIAoKkmdokBq03g6ygFITqsBKJtb0Fo =AuU0 -----END PGP SIGNATURE----- Accepted: sat4j_2.0.4-2.diff.gz to pool/main/s/sat4j/sat4j_2.0.4-2.diff.gz sat4j_2.0.4-2.dsc to pool/main/s/sat4j/sat4j_2.0.4-2.dsc sat4j_2.0.4-2_all.deb to pool/main/s/sat4j/sat4j_2.0.4-2_all.deb
