Accepted picosat 936-1 (source amd64)
-----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