Accepted sat4j 2.0.4-1 (source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sat, 01 Nov 2008 16:38:35 +0000
Source: sat4j
Binary: sat4j
Architecture: source all
Version: 2.0.4-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: 494944 503796
Changes:
sat4j (2.0.4-1) unstable; urgency=low
.
* New upstream version (closes: #494944)
* Depend on proper java6 runtime (closes: #503796)
Checksums-Sha1:
145d64404190e5e849513abdfe911f2d20377a39 1121 sat4j_2.0.4-1.dsc
da8009ff348e09d156ceca2934438531a933c36a 13200366 sat4j_2.0.4.orig.tar.gz
046d7c64c8a80552a6fcefed8dd39e48dc56310d 10211 sat4j_2.0.4-1.diff.gz
6bdc37b392d9c0e9547efc26d844006b180217c3 258180 sat4j_2.0.4-1_all.deb
Checksums-Sha256:
2bd3d5df6201ae54736200f68c89a511821380e7596731e3cf620f846a1fe298 1121 sat4j_2.0.4-1.dsc
40f32b20d65cf56c5af461fcf90830c33d9b84c47aa7d855cae78f08304fa840 13200366 sat4j_2.0.4.orig.tar.gz
9982491b085bb8da7b95d0cc84dc5403fef4de897c2cb2fef365bc398e0b0ba7 10211 sat4j_2.0.4-1.diff.gz
9becb1cb7c244148d225e7f3c31c19a0db30feae42eef7efb4e43f03ea245c62 258180 sat4j_2.0.4-1_all.deb
Files:
6d752f4e74f1eed747bd1fc967169a6c 1121 science extra sat4j_2.0.4-1.dsc
c1d005ff4ab5d13458bcffa1e9889f98 13200366 science extra sat4j_2.0.4.orig.tar.gz
a8ae14ee015af2dce47d21cd34a96001 10211 science extra sat4j_2.0.4-1.diff.gz
8869eb9b56d0f65b976fac2af648ba43 258180 science extra sat4j_2.0.4-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
iEYEARECAAYFAkkNnscACgkQvx6dH3bVKsTuAgCdFUPkvGZ8YZG5UpPMeSirImYl
l6cAnAqkOX61hnmWu98+IEo0UjVGV5Py
=yojB
-----END PGP SIGNATURE-----
Accepted:
sat4j_2.0.4-1.diff.gz
to pool/main/s/sat4j/sat4j_2.0.4-1.diff.gz
sat4j_2.0.4-1.dsc
to pool/main/s/sat4j/sat4j_2.0.4-1.dsc
sat4j_2.0.4-1_all.deb
to pool/main/s/sat4j/sat4j_2.0.4-1_all.deb
sat4j_2.0.4.orig.tar.gz
to pool/main/s/sat4j/sat4j_2.0.4.orig.tar.gz
Reply to: