Back to sat4j PTS page

Accepted sat4j 2.3.0-2 (source all)



-----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