Back to picosat PTS page

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