Back to sat4j PTS page

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