-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Mon, 16 Aug 2010 15:04:10 +0200 Source: picosat Binary: picosat Architecture: source amd64 Version: 936-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <mt@debian.org> Changed-By: Michael Tautschnig <mt@debian.org> Description: picosat - SAT solver with proof and core support Changes: picosat (936-1) unstable; urgency=low . * New upstream release (updated Debian-specific patches) * Bumped standards version to 3.9.1 (no changes) Checksums-Sha1: b09a8476c1d4871531da726827d7f5b69915faed 989 picosat_936-1.dsc adc22276a64817b9db178b1ea262e1f3b72fdec7 52159 picosat_936.orig.tar.gz 9b3b12197c03667a22f6a62b260cb95b43e42f70 5408 picosat_936-1.debian.tar.gz ee0895e357e74d3aa8ed6b5dffa2e1cfcdaf1eb0 178160 picosat_936-1_amd64.deb Checksums-Sha256: 28d101cfcd30fa2acf05ca31026112ff7b9f6fb34ad60b1375b4df66b650a117 989 picosat_936-1.dsc 36244f3f76f7cbc44da04c7b510c833944e3dc085273134441404b571d32180a 52159 picosat_936.orig.tar.gz f15390092a4c80b0e3d9c39e5522dd96d1dc8cfe7718e1825f29e4f80d75840a 5408 picosat_936-1.debian.tar.gz 04263bb0cf5e9752f5e1f8bb85afd702155bf37ff448fb13049008cc6fa43f5d 178160 picosat_936-1_amd64.deb Files: 780f3fe4e31500e304b9713accc99f36 989 science extra picosat_936-1.dsc 0ad8404c134653d1e40f8fcd3a93a991 52159 science extra picosat_936.orig.tar.gz 311361a2fac8bd2cd41566d1be65218c 5408 science extra picosat_936-1.debian.tar.gz 8a6a389233d9446824ba78a58306cf30 178160 science extra picosat_936-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkxpN5oACgkQvx6dH3bVKsSMBQCguSiJzvTNVEaFDk6urVDKKn2a e1MAn0sT0pL+j8uFZBfPXQ+2OE4NtLgy =UiuJ -----END PGP SIGNATURE----- Accepted: picosat_936-1.debian.tar.gz to main/p/picosat/picosat_936-1.debian.tar.gz picosat_936-1.dsc to main/p/picosat/picosat_936-1.dsc picosat_936-1_amd64.deb to main/p/picosat/picosat_936-1_amd64.deb picosat_936.orig.tar.gz to main/p/picosat/picosat_936.orig.tar.gz