[ubuntu/maverick] sat4j 2.2.0-2 (Accepted)

[Bhavani Shankar]

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)

Date: Sun, 01 Aug 2010 12:03:10 +0200
Changed-By: Bhavani Shankar <right2bhavi at gmail.com>
Maintainer: Michael Tautschnig <mt at debian.org>
Signed-By: Stefano Rivera <launchpad at rivera.za.net>
Origin: debian/unstable
https://launchpad.net/ubuntu/maverick/+source/sat4j/2.2.0-2
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Sun, 01 Aug 2010 12:03:10 +0200
Source: sat4j
Binary: sat4j
Architecture: source
Version: 2.2.0-2
Distribution: maverick
Urgency: low
Maintainer: Michael Tautschnig <mt at debian.org>
Changed-By: Bhavani Shankar <right2bhavi at gmail.com>
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: 
 01192efda47e0033498688bfb1f414cd8cab277a 1140 sat4j_2.2.0-2.dsc
 934d6ecac269e69a4c0f8d7a1070fb8271648952 10901 sat4j_2.2.0-2.debian.tar.gz
Checksums-Sha256: 
 5d9e2ed4ac441b9093f1d4938c71cf231b42a005331f17c5c9de8b34117ded76 1140 sat4j_2.2.0-2.dsc
 4146eb8bf584453cde8d6f4822f1fc6b32deef96efa6481c54bc2210f33ac846 10901 sat4j_2.2.0-2.debian.tar.gz
Files: 
 9e063c5de6a55cd7b6cbbcceb5e95851 1140 science optional sat4j_2.2.0-2.dsc
 f8c0a581ba2dd62515a96b4756fd7f6e 10901 science optional sat4j_2.2.0-2.debian.tar.gz
Origin: debian/unstable
Launchpad-Bugs-Fixed: 614774

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iEYEARECAAYFAkxdnZAACgkQe5Wpfsv7GPdJqACfXQ5fG6HAQDi0Z3SbeYALRpZv
/OoAoIBsaVevAB/qc6xCR/7pnX7a5kxD
=k5d8
-----END PGP SIGNATURE-----