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