Back to picosat PTS page

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-----