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