-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sat, 7 Jun 2008 17:10:44 +0200 Source: minisat2 Binary: minisat2 Architecture: source i386 Version: 070721-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <mt@debian.org> Changed-By: Michael Tautschnig <mt@debian.org> Description: minisat2 - Fast and lightweight SAT solver Closes: 484989 Changes: minisat2 (070721-1) unstable; urgency=low . * Initial release (Closes: #484989) Checksums-Sha1: 6fea321a26646e4c45c6f9a2c84798b038ffd969 951 minisat2_070721-1.dsc 1a5437469e90a691ee0c4a374f6a22fbc8e8f6a4 31937 minisat2_070721.orig.tar.gz 8292a67e410a16e73918f33af4c49dda3152a7ce 3386 minisat2_070721-1.diff.gz 1602601f587c247b4bc75cd0b03e02774d708bed 36504 minisat2_070721-1_i386.deb Checksums-Sha256: 9e6c6887de9fdaeb30dcf5f6c817f6c796689a8de7dcb62ce1081838d561e73d 951 minisat2_070721-1.dsc 72bfdc8aea7e67c8ece1ab5f3b351471e8447fcbe2e8d48095763ec5b7544396 31937 minisat2_070721.orig.tar.gz 511925e1b7227ffdc8ba8712fd2363c322ba24a303542897b7bb2a000d97d051 3386 minisat2_070721-1.diff.gz cc4e2cebd5da8d0b9b30f3ee2f00e50784cefe918740ceb90e6e51f8280b49af 36504 minisat2_070721-1_i386.deb Files: c1495fe298b3543753315cac62cba752 951 science extra minisat2_070721-1.dsc 12c92a89e69b5a2d651251c7587a7fc8 31937 science extra minisat2_070721.orig.tar.gz fbc9b959da2b44550b484c9adf29fe9c 3386 science extra minisat2_070721-1.diff.gz 8605fa454b5f8277e6c0ea92618e1d76 36504 science extra minisat2_070721-1_i386.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.9 (Darwin) iEYEARECAAYFAkhLnB0ACgkQvx6dH3bVKsRlYwCgxhWd0KoOmtrsS8On8krGfwN4 pyQAoIHgAaygiuvlXsqiGdQNWqdeQo3y =mUbX -----END PGP SIGNATURE----- Accepted: minisat2_070721-1.diff.gz to pool/main/m/minisat2/minisat2_070721-1.diff.gz minisat2_070721-1.dsc to pool/main/m/minisat2/minisat2_070721-1.dsc minisat2_070721-1_i386.deb to pool/main/m/minisat2/minisat2_070721-1_i386.deb minisat2_070721.orig.tar.gz to pool/main/m/minisat2/minisat2_070721.orig.tar.gz
