-----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
