Accepted sat4j 2.0.1-1 (source all)
-----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