-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sat, 31 Jan 2009 12:30:40 +0000 Source: sat4j Binary: sat4j Architecture: source all Version: 2.0.5-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 Closes: 512007 Changes: sat4j (2.0.5-1) unstable; urgency=low . * New upstream release * Replace use of /usr/bin/ant by proper java use (closes: #512007) * Fixed minor bug in shipped build.xml instead of using home-grown build.xml Checksums-Sha1: 784cbf414ffd9e1234dc6acc69a1a5254aff6ff6 1132 sat4j_2.0.5-1.dsc 65d3a770f34c8718f6176611d9010d72d283ba99 13217481 sat4j_2.0.5.orig.tar.gz 82c485984fe27c81e77af05e8930909f55488c70 8961 sat4j_2.0.5-1.diff.gz f8e8bf81730a56e571e814187d54a14e73413cb7 226176 sat4j_2.0.5-1_all.deb Checksums-Sha256: a95d421bec8e7c0414544bd5b363ade61c9494c98fc46aed054e97751407dfff 1132 sat4j_2.0.5-1.dsc 33037171e87d06f618966a593be0fda3c23c2d096e00ea83778f17cb15033d8e 13217481 sat4j_2.0.5.orig.tar.gz 1b72927cd2f4fa5d6da93eb8e7d2d20e046650e8d89c3266fc04d81e43527eb9 8961 sat4j_2.0.5-1.diff.gz 98e1b07acb376e689c21bab00a9cab3acbfd34d55335820075748ab043b3bef2 226176 sat4j_2.0.5-1_all.deb Files: 34a44db6cffa1182a265e981e8dc068f 1132 science extra sat4j_2.0.5-1.dsc 276f43df26479a3a3eacf673b53bfeea 13217481 science extra sat4j_2.0.5.orig.tar.gz 620c9d30edefb4542c3613be2f3aaa5c 8961 science extra sat4j_2.0.5-1.diff.gz c563700bee13422bad6e8944eea6f6fa 226176 science extra sat4j_2.0.5-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (GNU/Linux) iEYEARECAAYFAkmEbR4ACgkQvx6dH3bVKsR/PgCfb6/oB/SYNk5dxdMpNnvCdO7x fx4An0EVK/DrVz55WKg0ZUJvd70Ieckk =5pAX -----END PGP SIGNATURE----- Accepted: sat4j_2.0.5-1.diff.gz to pool/main/s/sat4j/sat4j_2.0.5-1.diff.gz sat4j_2.0.5-1.dsc to pool/main/s/sat4j/sat4j_2.0.5-1.dsc sat4j_2.0.5-1_all.deb to pool/main/s/sat4j/sat4j_2.0.5-1_all.deb sat4j_2.0.5.orig.tar.gz to pool/main/s/sat4j/sat4j_2.0.5.orig.tar.gz
