Back to minisat2 PTS page

Accepted minisat2 070721-8 (source amd64)



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Tue, 29 Dec 2009 14:25:31 +0100
Source: minisat2
Binary: minisat2
Architecture: source amd64
Version: 070721-8
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Description: 
 minisat2   - Fast and lightweight SAT solver
Changes: 
 minisat2 (070721-8) unstable; urgency=low
 .
   * Added Homepage field.
Checksums-Sha1: 
 38ef2dd2468f4f3e6779af9aa6cdcbc1ba899dea 994 minisat2_070721-8.dsc
 9df432c3900df752fb6fa17bc9a65f87e88bb677 8260 minisat2_070721-8.diff.gz
 9777276c9d5b601f2aac3d186622a75952215372 98308 minisat2_070721-8_amd64.deb
Checksums-Sha256: 
 b58d620d560b4b9d805b3e86c770370a982141562739ec8e17cebbf12fe5061e 994 minisat2_070721-8.dsc
 538efa21004f6d5dd98622d62ecbe9a59624a497e145195ded711711ce3d2683 8260 minisat2_070721-8.diff.gz
 acff8281228fbed8767689ad0758effbaf4f9e4f1aab6493d5dfea13353e4340 98308 minisat2_070721-8_amd64.deb
Files: 
 cf3a29ece1e04ffe64f4bfb97d5b430d 994 science extra minisat2_070721-8.dsc
 ed3818deeafa979c248cffdbd93f29b7 8260 science extra minisat2_070721-8.diff.gz
 eddbf73ce5afdab4ab42fd4973bf7af7 98308 science extra minisat2_070721-8_amd64.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iEYEARECAAYFAks6A3gACgkQvx6dH3bVKsTkmwCbBuIg4lTvceSzW5K4tjU3rBWK
ZbYAoITUUDQ8++Z4vzmQHkdmhcxOVgTo
=r/P1
-----END PGP SIGNATURE-----


Accepted:
minisat2_070721-8.diff.gz
  to main/m/minisat2/minisat2_070721-8.diff.gz
minisat2_070721-8.dsc
  to main/m/minisat2/minisat2_070721-8.dsc
minisat2_070721-8_amd64.deb
  to main/m/minisat2/minisat2_070721-8_amd64.deb