Accepted sat4j 2.1.1-3 (source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Tue, 13 Apr 2010 16:51:40 +0200
Source: sat4j
Binary: sat4j
Architecture: source all
Version: 2.1.1-3
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: 577479
Changes:
sat4j (2.1.1-3) unstable; urgency=low
.
* Bumped standards version to 3.8.4 (no changes)
* Use ${java:Depends} and javahelper to get proper dependencies (closes:
#577479)
Checksums-Sha1:
e27220ae2ca15dbbf8cfa077cc3c8f0d5b49b17e 1140 sat4j_2.1.1-3.dsc
e58abc44b7cbd2e1d3f2588e94672c33beaba13d 10488 sat4j_2.1.1-3.debian.tar.gz
364702f303a46979d6d1159ba53bd12c1c4871ca 246912 sat4j_2.1.1-3_all.deb
Checksums-Sha256:
151380d60016e08fdb148df8a741609e0851ee9a8d10023e6a3a7beaa280d3c8 1140 sat4j_2.1.1-3.dsc
ca808285d6e903000400a47bfe04b2649d865282ce57d605df9212934b4c7bca 10488 sat4j_2.1.1-3.debian.tar.gz
030f1ad117dabf0409d136602fe1c5c62e78f6eb8ef5027a611c07884546164c 246912 sat4j_2.1.1-3_all.deb
Files:
b1d305d785e5b4096276d3a1843145b2 1140 science optional sat4j_2.1.1-3.dsc
d3da69504a256eddb0cb2fccf5dea6d0 10488 science optional sat4j_2.1.1-3.debian.tar.gz
15f1f5da00e1a4d56088481d73bc7758 246912 science optional sat4j_2.1.1-3_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAkvErWUACgkQvx6dH3bVKsS5/ACgtoiFcONE5OWBK1R3dPpWP8Yb
j0sAniVHxD4/oDLQbTPRHzeU1WEHBd6/
=oWq7
-----END PGP SIGNATURE-----
Accepted:
sat4j_2.1.1-3.debian.tar.gz
to main/s/sat4j/sat4j_2.1.1-3.debian.tar.gz
sat4j_2.1.1-3.dsc
to main/s/sat4j/sat4j_2.1.1-3.dsc
sat4j_2.1.1-3_all.deb
to main/s/sat4j/sat4j_2.1.1-3_all.deb