-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Mon, 24 Oct 2011 10:39:02 +0100 Source: sat4j Binary: sat4j Architecture: source all Version: 2.3.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: 641378 Changes: sat4j (2.3.0-3) unstable; urgency=low . * Reworked debian/rules using dh+jh (closes: #641378) * Cleanup patch names to make dpkg happy * Build level 1.5 bytecode as requested on eclipse/linuxtools-dev Checksums-Sha1: 37a5d6d3316d55d281d668ed28183d569c1ff42f 1184 sat4j_2.3.0-3.dsc 4ae484dad21f02eae0da5708a390f2a21da03d40 21786 sat4j_2.3.0-3.debian.tar.gz cf33df553b4dbfca05b3a9e93133d40693379aa3 904356 sat4j_2.3.0-3_all.deb Checksums-Sha256: 25258846207e029e03d91ce551c3a99e404a2ebafc70171841db939f07e6b5e7 1184 sat4j_2.3.0-3.dsc 9dfa83e3987e7e941f8f7988cb54e51477766f556d859c0e78a1cad36d68f961 21786 sat4j_2.3.0-3.debian.tar.gz 0491e422aabf28179fd779174307336d2c461d7c360104ba42ee2a25ec1acc8e 904356 sat4j_2.3.0-3_all.deb Files: ca85e71540586808f4cc3a05155ce218 1184 science optional sat4j_2.3.0-3.dsc 6cd96788692ce54f850bcec11e800bbe 21786 science optional sat4j_2.3.0-3.debian.tar.gz 06903b27ca3956a0edffc6c5dc46ebdc 904356 science optional sat4j_2.3.0-3_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAk6lRKQACgkQvx6dH3bVKsREJQCePM/yQHhuL9RTBy2ytdPUktU7 2TMAnRXYGNkTcA9myBT3lhTyXZsOEVzA =eJIp -----END PGP SIGNATURE----- Accepted: sat4j_2.3.0-3.debian.tar.gz to main/s/sat4j/sat4j_2.3.0-3.debian.tar.gz sat4j_2.3.0-3.dsc to main/s/sat4j/sat4j_2.3.0-3.dsc sat4j_2.3.0-3_all.deb to main/s/sat4j/sat4j_2.3.0-3_all.deb
