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