Accepted minisat2 070721-1 (source i386)
-----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