Accepted picosat 936-2 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Tue, 29 Mar 2011 14:24:29 +0200
Source: picosat
Binary: picosat
Architecture: source amd64
Version: 936-2
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: 607943
Changes:
picosat (936-2) unstable; urgency=low
.
* Also build library with trace support as libpicosat-trace.so
(closes: #607943).
Checksums-Sha1:
ab2b14816ec3e2709ff08a3f3d67a4f4263c1f2a 995 picosat_936-2.dsc
513ce750f48a5302dfe7ce51649c453d18ed8a1b 5274 picosat_936-2.debian.tar.gz
f927c50aee132e9a8c7058611af7d5c462885075 261532 picosat_936-2_amd64.deb
Checksums-Sha256:
adaea44e744806ca7fa96fc50c92799bf25c58b25a04c9bef54e3fade5b62461 995 picosat_936-2.dsc
36755278796f2aee53b58ff3e389a461f68f0e221f38ed66792421dda5424b89 5274 picosat_936-2.debian.tar.gz
1095eb5c905e7402a0a697559d16b92c2e4e3abe541a72a5466fcf1816d59024 261532 picosat_936-2_amd64.deb
Files:
34a01ef5457a86729fd7604f83c7c85a 995 science extra picosat_936-2.dsc
8c02432e68f73638fdb7f4490f09d214 5274 science extra picosat_936-2.debian.tar.gz
3b973e2e219914919275d04bf06230ff 261532 science extra picosat_936-2_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iEYEARECAAYFAk2R1c4ACgkQvx6dH3bVKsQx7gCeKUbs68puTOjusCQ80qeJGEDE
6ksAnRR6WWeoG8QYM9ggWIkBucJ9YvcE
=RuP+
-----END PGP SIGNATURE-----
Accepted:
picosat_936-2.debian.tar.gz
to main/p/picosat/picosat_936-2.debian.tar.gz
picosat_936-2.dsc
to main/p/picosat/picosat_936-2.dsc
picosat_936-2_amd64.deb
to main/p/picosat/picosat_936-2_amd64.deb