-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Mon, 02 Nov 2009 22:16:18 +0100 Source: sat4j Binary: sat4j Architecture: source all Version: 2.1.1-1 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 Changes: sat4j (2.1.1-1) unstable; urgency=low . * New upstream release * Bumped standards version to 3.8.3 (no changes) Checksums-Sha1: 25a16f8d4f6927562409e53e572b85868bd3eab4 1094 sat4j_2.1.1-1.dsc 8764b1177f0fe1eeb5cb2124054966344ed7eb91 13745050 sat4j_2.1.1.orig.tar.gz 3172e070fd9d3fc59f001311b8b54974fde1bea9 9279 sat4j_2.1.1-1.diff.gz 5fc203a2ab78f3045d8de4c8abdba8bb8d728371 246460 sat4j_2.1.1-1_all.deb Checksums-Sha256: d55605d395c3cb6a66d9d12ff7119d7618bf27c8234e552f088a4d79ee880ff3 1094 sat4j_2.1.1-1.dsc b66a9acc1633c94fef5ec2565ca30a5e9e6136566c34625a6f8ee95df1b6e97b 13745050 sat4j_2.1.1.orig.tar.gz 62721753b5beccb2c74fd81fb212493445e74c4e8e7b19169b778a04befff43d 9279 sat4j_2.1.1-1.diff.gz 5d1ce3a13a7974926515165a50698c5445edb9c50161c9a2d9aec20293ea7306 246460 sat4j_2.1.1-1_all.deb Files: b52dd98b94688e37dd21d52a61d2aefc 1094 science extra sat4j_2.1.1-1.dsc 90fc557b5f38765305661c173b9322ea 13745050 science extra sat4j_2.1.1.orig.tar.gz e250cb90dd82e7c011fbee937ef034fe 9279 science extra sat4j_2.1.1-1.diff.gz bee7582bac5643b10ca23f962a34d9d6 246460 science extra sat4j_2.1.1-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkrv9o0ACgkQvx6dH3bVKsQa9ACfdzZaN7v4yJZ1fQnOvXQwSF0E rK8An2ogY9IKeyi2cn9W2RhpxRiVFs7Y =Yzjj -----END PGP SIGNATURE----- Accepted: sat4j_2.1.1-1.diff.gz to main/s/sat4j/sat4j_2.1.1-1.diff.gz sat4j_2.1.1-1.dsc to main/s/sat4j/sat4j_2.1.1-1.dsc sat4j_2.1.1-1_all.deb to main/s/sat4j/sat4j_2.1.1-1_all.deb sat4j_2.1.1.orig.tar.gz to main/s/sat4j/sat4j_2.1.1.orig.tar.gz
