-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Sun, 04 Apr 2010 00:36:27 +0200 Source: picosat Binary: picosat Architecture: source amd64 Version: 913-4 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-4) unstable; urgency=low . * Install picosat.h and libpicosat.{a,so}, thanks Pietro Abate for most of the necessary patch (closes: #576364). * Cleanup debian/rules and add support for building dynamic libraries. Checksums-Sha1: 0b5a0be5519edc15db26be5b324870f289ae62b7 989 picosat_913-4.dsc 130676e8d88b14771e0d778a73ae3732fc232614 5313 picosat_913-4.debian.tar.gz 5ca9fbf8d325c11b0209287c42ea5de446e3f294 159760 picosat_913-4_amd64.deb Checksums-Sha256: add27d729b56eaa206e8ef9c397051d6d506adca323068f70193babac313f13e 989 picosat_913-4.dsc 33aaf0f25ac9a74616cae153ed9be84f80aad46bb6035b8a971ad7e4dae56a9a 5313 picosat_913-4.debian.tar.gz deccc3e79cb1a7f548721120f1330567f92d750061ae24caff49838142a3823b 159760 picosat_913-4_amd64.deb Files: 455f89b2bd9471cf835508ed977b4fe9 989 science extra picosat_913-4.dsc f8741b8b81dd123f60fed9dd84830d9c 5313 science extra picosat_913-4.debian.tar.gz 983fbdd3dbb4378c7a651f3d27926cfd 159760 science extra picosat_913-4_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAku3wxkACgkQvx6dH3bVKsTavACdGS30g7QlScss6NquxLHw6Ohy fWYAoIWVta9Lalo0cIOB5DscS8vhnRKA =hz4u -----END PGP SIGNATURE----- Accepted: picosat_913-4.debian.tar.gz to main/p/picosat/picosat_913-4.debian.tar.gz picosat_913-4.dsc to main/p/picosat/picosat_913-4.dsc picosat_913-4_amd64.deb to main/p/picosat/picosat_913-4_amd64.deb
