Accepted picosat 953-2 (source i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sun, 02 Dec 2012 13:18:49 +0000
Source: picosat
Binary: picosat
Architecture: source i386
Version: 953-2
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 (953-2) unstable; urgency=low
.
* Actually bump standards version to 3.9.4
* Added symbol files
Checksums-Sha1:
4bca3d3d9b5b17a68dbe45305101d91bf5b58fd1 1037 picosat_953-2.dsc
ac36a919bdda75da28b5a9e04bf480d29bf0e81d 6462 picosat_953-2.debian.tar.gz
1e5c0ab28860a0cef154328fdf9a71d7d8130767 334222 picosat_953-2_i386.deb
Checksums-Sha256:
723e6955e687f6ede78f842f29dee7b9406c78b70f0b5c7665d7b27991cab12c 1037 picosat_953-2.dsc
5ef5a9e3ddf16d185d2b425c917525c61edfd54b2de1f64e1ab94398575a320b 6462 picosat_953-2.debian.tar.gz
a0a394ff3cfae4d5427ee7da370b9bf7b7a3d71566bfa2708de3b8da9a657f2a 334222 picosat_953-2_i386.deb
Files:
c0ff84e051c90d8d84d587bfdce6b8e9 1037 science extra picosat_953-2.dsc
091285877fd41811f63d611154255eae 6462 science extra picosat_953-2.debian.tar.gz
b1bf79fd31b58861a9c459e9970205ac 334222 science extra picosat_953-2_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAlC7WAgACgkQvx6dH3bVKsSqwACg6s7nI87s7NLdcwiWSUAUj5Na
0EQAoNh4W6LHo5V59aJE9PO2rucXHVpF
=BMoZ
-----END PGP SIGNATURE-----