-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Mon, 16 Aug 2010 12:43:47 +0200 Source: sat4j Binary: sat4j Architecture: source all Version: 2.2.0-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: 592181 Changes: sat4j (2.2.0-3) unstable; urgency=low . * Replace BUILD_DATE property by fixed string "SQUEEZE" to make eclipse happy, changed Breaks to eclipse (<= 3.5.2-5) (closes: #592181) Checksums-Sha1: 7c7f95463c167f4a353895ad4f3d4964d5906e75 1140 sat4j_2.2.0-3.dsc 64a245c3f9e46a06e2ba5c2baec5719322a806ff 11189 sat4j_2.2.0-3.debian.tar.gz dd5709281553ad74fc58ab675023b82b8bd99470 522792 sat4j_2.2.0-3_all.deb Checksums-Sha256: f546113467cbce135cbf7ffffba6084bc79323c3cce7dcbeb05cf43fb1b7cfe6 1140 sat4j_2.2.0-3.dsc cc9cd8789f5356aca54fa0c53b0769708f7907ce6856ec10e9fabcfaf59462ef 11189 sat4j_2.2.0-3.debian.tar.gz 6099884508d70dc9d7727678bcf192666157fb6a30ecd620a06837e6010651d6 522792 sat4j_2.2.0-3_all.deb Files: 74948e65299114d9dd8ca640343795ed 1140 science optional sat4j_2.2.0-3.dsc 2221faf19bf9415936a83ddb8bf75878 11189 science optional sat4j_2.2.0-3.debian.tar.gz 366f9f4481d4d7a005f3a7fc73dce9b7 522792 science optional sat4j_2.2.0-3_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkxpHKgACgkQvx6dH3bVKsTYJwCgsV+j8v5B7x+c9CBA8TSnfMUt waQAn0kqtPIfESCal5cUwWX33jzLjEwK =iYF4 -----END PGP SIGNATURE----- Accepted: sat4j_2.2.0-3.debian.tar.gz to main/s/sat4j/sat4j_2.2.0-3.debian.tar.gz sat4j_2.2.0-3.dsc to main/s/sat4j/sat4j_2.2.0-3.dsc sat4j_2.2.0-3_all.deb to main/s/sat4j/sat4j_2.2.0-3_all.deb
