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