Accepted sat4j 2.2.3-1 (source all)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Tue, 08 Feb 2011 18:36:34 +0100
Source: sat4j
Binary: sat4j
Architecture: source all
Version: 2.2.3-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.2.3-1) unstable; urgency=low
.
* New upstream release
* Changed build-date from SQUEEZE to WHEEZY
Checksums-Sha1:
7715a681c028f5d241cd579a94b910959c74634e 1140 sat4j_2.2.3-1.dsc
af8791e8b01c4a8daf30461d0eeb03f5e7e3444b 13817326 sat4j_2.2.3.orig.tar.gz
53e745a14b80d29653f99b87527333942b33fe21 11252 sat4j_2.2.3-1.debian.tar.gz
b46b6bb84a5eaa68adbf7393f331e7b8eccf45b2 541128 sat4j_2.2.3-1_all.deb
Checksums-Sha256:
99b28b3ad42f89cb9f69a80e8b666c3dcd73fc4b055ed06a1567970df7e173bf 1140 sat4j_2.2.3-1.dsc
52a697bfcd9f59ab07a2b4f4350be58a60758872128ddef2ff4e29a9a711fc57 13817326 sat4j_2.2.3.orig.tar.gz
5ef6b116c5b22295119f4fc50197dfda9032fc1157446954ea1662d2492aa670 11252 sat4j_2.2.3-1.debian.tar.gz
abd3942dc8a2f4ff20923d560f813b7f1681f9c9a07a15f2ee8fa225390ae56f 541128 sat4j_2.2.3-1_all.deb
Files:
ac3681ac60f15f92db4522e5499eddde 1140 science optional sat4j_2.2.3-1.dsc
f3a23d360b7ec27c38950b8bb6322c54 13817326 science optional sat4j_2.2.3.orig.tar.gz
37e547529a44fe66d42e9d2cc2db6c2e 11252 science optional sat4j_2.2.3-1.debian.tar.gz
de0e5c3d19be01c6d120d27dbbfe27d0 541128 science optional sat4j_2.2.3-1_all.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAk1RiygACgkQvx6dH3bVKsRPtQCfSVq9qpj0Z109j3uHrvLSgGy1
RdQAoK19jXFvoc9uipjFqxncP79HCdQQ
=E2fn
-----END PGP SIGNATURE-----
Accepted:
sat4j_2.2.3-1.debian.tar.gz
to main/s/sat4j/sat4j_2.2.3-1.debian.tar.gz
sat4j_2.2.3-1.dsc
to main/s/sat4j/sat4j_2.2.3-1.dsc
sat4j_2.2.3-1_all.deb
to main/s/sat4j/sat4j_2.2.3-1_all.deb
sat4j_2.2.3.orig.tar.gz
to main/s/sat4j/sat4j_2.2.3.orig.tar.gz