Accepted sat4j 2.2.0-2 (source all)
-----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