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