Accepted sat4j 2.0.2-1 (source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Fri, 22 Aug 2008 14:04:11 +0000
Source: sat4j
Binary: sat4j
Architecture: source all
Version: 2.0.2-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: 493917
Changes:
sat4j (2.0.2-1) unstable; urgency=low
.
* New upstream version (closes: #493917))
* Switching over to openjdk-6 to get package fit for main
* Fixed warnings caused by errors in ant build file
* Build-depends on ant because it is used in clean,
added lintian override
Checksums-Sha1:
6bc140e9b20c8c02437ed89ad0751ae60f443631 1115 sat4j_2.0.2-1.dsc
f1c28026bc2a94b8ee9ad3de6d883ba470af5f06 178291 sat4j_2.0.2.orig.tar.gz
a1b1970b4d6b78b38a140b7130475589a7b1b1d1 10203 sat4j_2.0.2-1.diff.gz
8f3afea319fbb10e59a6f5aefac0b1ebeb753113 230694 sat4j_2.0.2-1_all.deb
Checksums-Sha256:
f158e4ebe9bdb276ab02339936a82ca04e0d6f63e27e09300227914a523dc296 1115 sat4j_2.0.2-1.dsc
b62295d6d00deedac3452fadb40cb48892157fbdccb03d223eebef04f9629182 178291 sat4j_2.0.2.orig.tar.gz
a1ecf4794a129b942e8763afd06bfbf9a62a8f29b70e4450d3919cdd396f4151 10203 sat4j_2.0.2-1.diff.gz
19f92b795e1507893a7728f2b4f521806dfad8d9bfa00da50d10bb76538ef20b 230694 sat4j_2.0.2-1_all.deb
Files:
b3d0a6764383455d78436e13fadc5ce5 1115 science extra sat4j_2.0.2-1.dsc
ced5b4c96e325f347707bd115642f968 178291 science extra sat4j_2.0.2.orig.tar.gz
c09a7da6ab95aab2304749fa7a504ebf 10203 science extra sat4j_2.0.2-1.diff.gz
fc75dc7fdfb0a4d0a7285b4cfe860603 230694 science extra sat4j_2.0.2-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAkiuyUgACgkQvx6dH3bVKsQSUwCeM0vDq+1skfEmjJJSOCwt2Wen
+tMAoIZzusUjC0GEVMOzvrXLod6Dxs1F
=pXPr
-----END PGP SIGNATURE-----
Accepted:
sat4j_2.0.2-1.diff.gz
to pool/main/s/sat4j/sat4j_2.0.2-1.diff.gz
sat4j_2.0.2-1.dsc
to pool/main/s/sat4j/sat4j_2.0.2-1.dsc
sat4j_2.0.2-1_all.deb
to pool/main/s/sat4j/sat4j_2.0.2-1_all.deb
sat4j_2.0.2.orig.tar.gz
to pool/main/s/sat4j/sat4j_2.0.2.orig.tar.gz