Back to picosat PTS page

Accepted picosat 913-3 (source amd64)



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

Format: 1.8
Date: Sat, 03 Apr 2010 22:59:17 +0200
Source: picosat
Binary: picosat
Architecture: source amd64
Version: 913-3
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
Closes: 576364
Changes: 
 picosat (913-3) unstable; urgency=low
 .
   * Install picosat.h and libpicosat.a, thanks Pietro Abate for the patch
     (closes: #576364).
Checksums-Sha1: 
 a0e7a00a9067b17409cefebd181f2d99d5db04e5 989 picosat_913-3.dsc
 cacafad4b9c007fb73e8a74927c1fda295022046 4918 picosat_913-3.debian.tar.gz
 a912b172f1298ac0cb398eff248c00d357ea506e 125352 picosat_913-3_amd64.deb
Checksums-Sha256: 
 e582ddf40441afeecb1fabed975421de370fd977efb50e227e6a5db4d61eb5b9 989 picosat_913-3.dsc
 41b279c5fc3edbda0099ed171ee20130a669653f283780abcac18a2ffdd6c380 4918 picosat_913-3.debian.tar.gz
 02c485213b39a55e86394635bdb605038cce30622f9fc2e401fc914f81913c31 125352 picosat_913-3_amd64.deb
Files: 
 e9f4957df736aed0ccc822384c7c18c7 989 science extra picosat_913-3.dsc
 730758d364d5ae38acd089fb3bcabb09 4918 science extra picosat_913-3.debian.tar.gz
 82ff88a5607699ab682a985ec716a849 125352 science extra picosat_913-3_amd64.deb

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

iEYEARECAAYFAku3rEEACgkQvx6dH3bVKsRRGQCgmAOsc1B/g2r6urxnnJ8lCpgz
xJsAoNW4De7rFvBaKZO2ivq0isK1tOsg
=kW9K
-----END PGP SIGNATURE-----


Accepted:
picosat_913-3.debian.tar.gz
  to main/p/picosat/picosat_913-3.debian.tar.gz
picosat_913-3.dsc
  to main/p/picosat/picosat_913-3.dsc
picosat_913-3_amd64.deb
  to main/p/picosat/picosat_913-3_amd64.deb