-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Wed, 10 Aug 2011 00:35:50 +0200 Source: sat4j Binary: sat4j Architecture: source all Version: 2.3.0-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 Closes: 636784 Changes: sat4j (2.3.0-2) unstable; urgency=low . * Include maxsat solver (closes: #636784) Checksums-Sha1: 06d6e687ec3dca62124a860c0f1632cfe1fbe08a 1140 sat4j_2.3.0-2.dsc 45c38b0148eb7ead80ff18771866e95cf08e258a 21178 sat4j_2.3.0-2.debian.tar.gz d7cdc45cd3a3cae4c773e01e4afc9650d763c446 937172 sat4j_2.3.0-2_all.deb Checksums-Sha256: 78ac248b0128d119ca83eed938c0ef82010a711481ddeec2ff50fdaa7b8db28e 1140 sat4j_2.3.0-2.dsc 91276e74f523f5773f51466dc63d7e89c829d5b517b76dfa87e4a60abd296255 21178 sat4j_2.3.0-2.debian.tar.gz c36bbbba38a2f057a391ba2f5cc20ba942f66a5651342dc199ec9be96b6fa1cc 937172 sat4j_2.3.0-2_all.deb Files: 083c4eabb961956093acbbfb02261fa1 1140 science optional sat4j_2.3.0-2.dsc dc9c710cb99222524b02bbd29df8fd9e 21178 science optional sat4j_2.3.0-2.debian.tar.gz f36b3a72ea6ceede5264552d4f1a2c1e 937172 science optional sat4j_2.3.0-2_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iEYEARECAAYFAk5BuccACgkQvx6dH3bVKsS+SQCfcNmVOuSap4yXtsONSW+JSFwj YN0AnRYx1nx21sZ9sRDooQNG428axYxL =wakO -----END PGP SIGNATURE----- Accepted: sat4j_2.3.0-2.debian.tar.gz to main/s/sat4j/sat4j_2.3.0-2.debian.tar.gz sat4j_2.3.0-2.dsc to main/s/sat4j/sat4j_2.3.0-2.dsc sat4j_2.3.0-2_all.deb to main/s/sat4j/sat4j_2.3.0-2_all.deb
