-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Fri, 05 Feb 2010 12:50:29 +0100 Source: picosat Binary: picosat Architecture: source amd64 Version: 913-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: 567754 Changes: picosat (913-2) unstable; urgency=low . * Switch to dpkg-source 3.0 (quilt) format * Bumped standards version to 3.8.4 (no changes) * Build additional picosat.trace to have a solver with proof/core support available (closes: #567754) Checksums-Sha1: 6721deb101c24392cb6be45dc0044c102afc0075 989 picosat_913-2.dsc 9e50367b82ce3ee83798783ee12fd34b92344486 4805 picosat_913-2.debian.tar.gz 1d86c1ca0847b2eb74b7b425c9e0c39c286fd794 80666 picosat_913-2_amd64.deb Checksums-Sha256: b7a43f2c5db17392b86f459ffaf8facfb39651cb665309a90eb8db323eaf0364 989 picosat_913-2.dsc a3668991e540a6062f01a96e3f8593aa6d37637b2ab87e5639349e8bb667f8ea 4805 picosat_913-2.debian.tar.gz 5d3ef1e8e5fcee7d7b601b8e4f643741a210be648204ff82396d31f403f72370 80666 picosat_913-2_amd64.deb Files: f24385b44eb56fd05d8b9bcf53fa43ee 989 science extra picosat_913-2.dsc bb05a79fdfb2fc1226fd35cf61c3a43c 4805 science extra picosat_913-2.debian.tar.gz a8df69f5aea84ea03e5d765680cea69c 80666 science extra picosat_913-2_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAktsDbMACgkQvx6dH3bVKsSciQCdFy+XBFSD6bNfAonOK8yO9fJA m94An3Sg7L8HYihm73YT7VOuqmm6dtol =8Cpb -----END PGP SIGNATURE----- Accepted: picosat_913-2.debian.tar.gz to main/p/picosat/picosat_913-2.debian.tar.gz picosat_913-2.dsc to main/p/picosat/picosat_913-2.dsc picosat_913-2_amd64.deb to main/p/picosat/picosat_913-2_amd64.deb
