Accepted picosat 936-3 (source amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Wed, 10 Aug 2011 01:03:57 +0200
Source: picosat
Binary: picosat
Architecture: source amd64
Version: 936-3
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: 635114
Changes:
picosat (936-3) unstable; urgency=low
.
* Ship picomus binary for computing minimal unsatisfiying cores
(closes: #635114)
* Bumped standards version to 3.9.2 (no changes)
Checksums-Sha1:
a2ff274a7db49b0469a8efeb396355aaf3f2d1f2 995 picosat_936-3.dsc
02727edc2cb9dd9ecd3d3318b5b0d3bc77c09f1b 5459 picosat_936-3.debian.tar.gz
1e7f7e63a53dddab7274795ab3cb901ccc634807 258532 picosat_936-3_amd64.deb
Checksums-Sha256:
cbc6a14a2449af5c6d4d4df04d745545215e7ac099e310d74eb7aaf24ce20f59 995 picosat_936-3.dsc
6c6741fa768834e9480afbb9483340695d10cfd67b1fef2e2db44fbc54f642d1 5459 picosat_936-3.debian.tar.gz
da357b527dad95494be29b550eeef13ace0ef09cda49d645b5f4806460889017 258532 picosat_936-3_amd64.deb
Files:
68a5db2e16a7071fcb02b43152c7cb04 995 science extra picosat_936-3.dsc
d748fb3b95bf0f2af83c9dc6fec4b1ee 5459 science extra picosat_936-3.debian.tar.gz
c543a2e6376106e725a94eb4c81b8cb4 258532 science extra picosat_936-3_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)
iEYEARECAAYFAk5Bv34ACgkQvx6dH3bVKsTIZQCg6vg64HHVs0lvktjQu6NcSRHP
kGMAn3qRPnRegiBZ5oxB86RUARQ2F7Tu
=fkDa
-----END PGP SIGNATURE-----
Accepted:
picosat_936-3.debian.tar.gz
to main/p/picosat/picosat_936-3.debian.tar.gz
picosat_936-3.dsc
to main/p/picosat/picosat_936-3.dsc
picosat_936-3_amd64.deb
to main/p/picosat/picosat_936-3_amd64.deb