-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sun, 01 Aug 2010 12:03:10 +0200 Source: sat4j Binary: sat4j Architecture: source all Version: 2.2.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: 591140 Changes: sat4j (2.2.0-2) unstable; urgency=low . * Disabled very expensive tests CompetPBRes(Min)?HTMixedConstraintsObjectiveLearningTest to fix FTBFS (closes: #591140) * Bumped standards version to 3.9.1 (no changes) Checksums-Sha1: 28edf757badb9290aae4583dc264d135450ff673 1140 sat4j_2.2.0-2.dsc 934d6ecac269e69a4c0f8d7a1070fb8271648952 10901 sat4j_2.2.0-2.debian.tar.gz 91e3a3efd26619d03df2eff61834ba3e5b4241d4 522710 sat4j_2.2.0-2_all.deb Checksums-Sha256: c0fed412c7f8f6cee5a5fdbee7c571cb236e22c848c88b01fd600687382e0418 1140 sat4j_2.2.0-2.dsc 4146eb8bf584453cde8d6f4822f1fc6b32deef96efa6481c54bc2210f33ac846 10901 sat4j_2.2.0-2.debian.tar.gz e469ad763329c8cc37841b04ac6985ff1e4cd0dc3bb874407ca0870356d4dc03 522710 sat4j_2.2.0-2_all.deb Files: 0b4c99655973361120d71ec35268040c 1140 science optional sat4j_2.2.0-2.dsc f8c0a581ba2dd62515a96b4756fd7f6e 10901 science optional sat4j_2.2.0-2.debian.tar.gz 59344cd22d0ad435df35e0bc970bbd93 522710 science optional sat4j_2.2.0-2_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkxVSY0ACgkQvx6dH3bVKsTjtwCgt8D1WGjdSSkibmgBZwgAub6P ma4An3wvZKCXJL6povveS2olt4hhfCWI =tzWI -----END PGP SIGNATURE----- Accepted: sat4j_2.2.0-2.debian.tar.gz to main/s/sat4j/sat4j_2.2.0-2.debian.tar.gz sat4j_2.2.0-2.dsc to main/s/sat4j/sat4j_2.2.0-2.dsc sat4j_2.2.0-2_all.deb to main/s/sat4j/sat4j_2.2.0-2_all.deb
