-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sat, 16 Jan 2010 14:13:00 +0100 Source: sat4j Binary: sat4j Architecture: source all Version: 2.1.1-2 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: 564439 Changes: sat4j (2.1.1-2) unstable; urgency=low . * Switch to dpkg-source 3.0 (quilt) format * Bumped priority to optional to aid eclipse (closes: #564439) * Updated watch file to cope with WebSVN * Added ${misc:Depends} as required by debhelper * Removed lintian override build-depends-without-arch-dep ant which isn't necessary anymore. Checksums-Sha1: 2813b1b9966b561b389c0dc59d3f0b11d3ee29f1 1123 sat4j_2.1.1-2.dsc 8f2943982d5879c580e68d3d5a6137ec9339b917 10226 sat4j_2.1.1-2.debian.tar.gz 9338677ed699117f294fd7ba4d9eab4a405ba278 246670 sat4j_2.1.1-2_all.deb Checksums-Sha256: 898fe61cf335cc473f31bfd74c98e237abc8f8a41958badf63265ad36e7d39d2 1123 sat4j_2.1.1-2.dsc 80b218d109e623638bc62af8867208d80b0ef461ada99e7f35aef2e7ee6c3c28 10226 sat4j_2.1.1-2.debian.tar.gz 06dbfecdf2c4ed206656e4f0552dd68511d1f49dc574c56e9dd3cf168cd96071 246670 sat4j_2.1.1-2_all.deb Files: 5ce7baf29e97a07612364d1028b2828b 1123 science optional sat4j_2.1.1-2.dsc c989ce0d3b617180401cc24f4d0d7470 10226 science optional sat4j_2.1.1-2.debian.tar.gz 01fa945b040fa0eb737cee6751b19106 246670 science optional sat4j_2.1.1-2_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAktRyLsACgkQvx6dH3bVKsRGZACgr6lTai7Zxc4D3URGhIOxu2h7 lnAAn01THXfgjQTggcPso6ojmeUTZeZN =HMZL -----END PGP SIGNATURE----- Accepted: sat4j_2.1.1-2.debian.tar.gz to main/s/sat4j/sat4j_2.1.1-2.debian.tar.gz sat4j_2.1.1-2.dsc to main/s/sat4j/sat4j_2.1.1-2.dsc sat4j_2.1.1-2_all.deb to main/s/sat4j/sat4j_2.1.1-2_all.deb
