-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Thu, 16 Jun 2011 18:16:35 +0200 Source: sat4j Binary: sat4j Architecture: source all Version: 2.3.0-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: 630720 Changes: sat4j (2.3.0-1) unstable; urgency=low . * New upstream release (closes: #630720) * Bumped standards version to 3.9.2 (no changes) Checksums-Sha1: 32ac4f6a14fc69b36319af2aa0046df837093578 1140 sat4j_2.3.0-1.dsc 86e147144cb51f61bc4b5536a856ab10ce587737 13832168 sat4j_2.3.0.orig.tar.gz cbaa5b0629521947288b9ff46cdedecd0190a455 11337 sat4j_2.3.0-1.debian.tar.gz dab612d624945b1018e2c92c2a7d2984a98e4d0d 591906 sat4j_2.3.0-1_all.deb Checksums-Sha256: 8017e7dce79fc26fce22a894f7233429317e9ddd5c6c383ee58f0f2c3ba35c48 1140 sat4j_2.3.0-1.dsc 8d3f774265c653563c87442dbe8f0d0aebbfd5a60784d61572b57d7934fc1b84 13832168 sat4j_2.3.0.orig.tar.gz fa74acb496d6601b5408b760a31ff42212b5ce7519dec66fb9d7b8bb1074b5e3 11337 sat4j_2.3.0-1.debian.tar.gz 8f8f52954340ee07afebf81ca9bca03fd3cea41ee3809fb52dca1c85b3246f12 591906 sat4j_2.3.0-1_all.deb Files: 8862d104f1db84255fda132059aa7915 1140 science optional sat4j_2.3.0-1.dsc 2d37e27f91f104cbe36eca60ebf96344 13832168 science optional sat4j_2.3.0.orig.tar.gz 048b50b79e213be0fa28b1c9b73c6c59 11337 science optional sat4j_2.3.0-1.debian.tar.gz 34fbb60125b3c3464a2fc830668759e9 591906 science optional sat4j_2.3.0-1_all.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.11 (GNU/Linux) iEYEARECAAYFAk36Mh8ACgkQvx6dH3bVKsQ0ZgCgiwUA6c4U+F8/YRetHBw49t4J A10An3jKEo04ZZ8FZHK1BRnS7O+FuL0A =KRJ5 -----END PGP SIGNATURE----- Accepted: sat4j_2.3.0-1.debian.tar.gz to main/s/sat4j/sat4j_2.3.0-1.debian.tar.gz sat4j_2.3.0-1.dsc to main/s/sat4j/sat4j_2.3.0-1.dsc sat4j_2.3.0-1_all.deb to main/s/sat4j/sat4j_2.3.0-1_all.deb sat4j_2.3.0.orig.tar.gz to main/s/sat4j/sat4j_2.3.0.orig.tar.gz
