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