Accepted picosat 936-4 (source i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sat, 03 Mar 2012 22:55:43 +0000
Source: picosat
Binary: picosat
Architecture: source i386
Version: 936-4
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-4) unstable; urgency=low
.
* Bumped standards version to 3.9.3 (no changes)
* Really ship the picomus binary (closes: #635114)
* Converted debian/copyright to DEP-5
Checksums-Sha1:
c8dc5f16d74d27681761735d7eea97e2299b9265 1037 picosat_936-4.dsc
7af946eaaa1abd60ab06d00eb17ac7a3b4d750a6 5941 picosat_936-4.debian.tar.gz
f1e1cf7fa3eb938193f00ab24ffe9ec7642bcd64 268054 picosat_936-4_i386.deb
Checksums-Sha256:
758fe80556844a555a3b15eea0b5fbaa5f7cdd4f69755b3eb2f3f3291f21ba76 1037 picosat_936-4.dsc
1bdea92f52b730047bfe1d8e8632c868cb68c20aba5aebf930bd9ef11d9de081 5941 picosat_936-4.debian.tar.gz
2ec10c97a8f7ecb08514823d54ff049db94543b6a9935e40e197e8a719f74d58 268054 picosat_936-4_i386.deb
Files:
55a6d2398bbc6673d06514944a2f30cf 1037 science extra picosat_936-4.dsc
c89c2278aa1967a41c2ebc914e6ce417 5941 science extra picosat_936-4.debian.tar.gz
677dcc5d5fc35fc367b02d0017c1aaf9 268054 science extra picosat_936-4_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAk9SpDgACgkQvx6dH3bVKsRyXgCgqjtVN7ICOpn4ytyVDcUhP9K/
mPsAnRc8XM5EBJrg/7KaI9QC8ma58RRN
=4dqP
-----END PGP SIGNATURE-----
Accepted:
picosat_936-4.debian.tar.gz
to main/p/picosat/picosat_936-4.debian.tar.gz
picosat_936-4.dsc
to main/p/picosat/picosat_936-4.dsc
picosat_936-4_i386.deb
to main/p/picosat/picosat_936-4_i386.deb