-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Tue, 22 Jul 2008 09:27:20 +0000 Source: sat4j Binary: sat4j Architecture: source all Version: 2.0.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 Closes: 485127 Changes: sat4j (2.0.1-1) unstable; urgency=low . * Initial release (Closes: #485127) Checksums-Sha1: 68a06c38ad535f03d73a4379b2e875aad60d07e3 1085 sat4j_2.0.1-1.dsc 68fd9ddaa1c8928603594df8b53335cc329c4bbc 146262 sat4j_2.0.1.orig.tar.gz 18c0239d5bd52664ed8868a3a0eff2b67c86765f 10095 sat4j_2.0.1-1.diff.gz bad15e855d32453327dd98ff2a6e82b858c6ed29 223270 sat4j_2.0.1-1_all.deb Checksums-Sha256: 652bd9aaee16da54adfc15daf5a6223fdd45b479fc02d93c965d76003240e328 1085 sat4j_2.0.1-1.dsc 2c233bc11a016789198fde45f9d94fc2230deb4192079a5eb3b6a68a23b5c1b0 146262 sat4j_2.0.1.orig.tar.gz 575a82c1b68febd4158216b4077f2a084065e95824a6cf1d24f4d12f9d8654ad 10095 sat4j_2.0.1-1.diff.gz 384b15b08ea62011f67bbd2b20b03df921d21716c1cbbe41da9c673711cbe883 223270 sat4j_2.0.1-1_all.deb Files: bec617f31422beba8136ba82cdb70fbb 1085 contrib/science extra sat4j_2.0.1-1.dsc 2ff9200b7b31af51eca09f5bfc1b16ad 146262 contrib/science extra sat4j_2.0.1.orig.tar.gz 4b66bbac20a66c23db6a9ccedcb0e76d 10095 contrib/science extra sat4j_2.0.1-1.diff.gz 8e1902f7b610326cd63b6e56be7452a4 223270 contrib/science extra sat4j_2.0.1-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkieB3sACgkQvx6dH3bVKsSlFACgvFk8apYFdMOF9LlFfjLk1/CY kAQAn1UJSjmPXMKIAHPsVY+5xDcp77+M =DoTa -----END PGP SIGNATURE----- Accepted: sat4j_2.0.1-1.diff.gz to pool/contrib/s/sat4j/sat4j_2.0.1-1.diff.gz sat4j_2.0.1-1.dsc to pool/contrib/s/sat4j/sat4j_2.0.1-1.dsc sat4j_2.0.1-1_all.deb to pool/contrib/s/sat4j/sat4j_2.0.1-1_all.deb sat4j_2.0.1.orig.tar.gz to pool/contrib/s/sat4j/sat4j_2.0.1.orig.tar.gz