Accepted sat4j 2.0.4-2 (source all)

[Michael Tautschnig <mt@debian.org>]

-----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