Accepted picosat 913-4 (source amd64)
-----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