Accepted picosat 953-1 (source i386)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sun, 02 Dec 2012 11:32:09 +0000
Source: picosat
Binary: picosat
Architecture: source i386
Version: 953-1
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: 694592
Changes:
picosat (953-1) unstable; urgency=low
.
* Bumped standards version to 3.9.4 (no changes)
* New upstream version (closes: #694592)
* Converted debian/copyright to DEP-5
Checksums-Sha1:
3d109cc61074d4170a213744f6fbb7029f58b2da 1037 picosat_953-1.dsc
6040155c929e50cdaaf95c76e37624c41cc9bf0f 62810 picosat_953.orig.tar.gz
3eeb47acad9e3f37be679c4d01a4d85a4e72495b 5818 picosat_953-1.debian.tar.gz
09f5e5ea7d3d7def762882857cb0ca3a4b931a7b 333436 picosat_953-1_i386.deb
Checksums-Sha256:
ff6c2e23a68c1990ce2a635285a506f418644c895369544b331802cc714c1a09 1037 picosat_953-1.dsc
bf26f7f3b10ef196ebd9b4a8c944c58fa9d76fd937b3b2cf1468c365231a02bb 62810 picosat_953.orig.tar.gz
f240e58a17c0874af14bc98cf35d81b1df6414ec0ca904acc6f83da7104266aa 5818 picosat_953-1.debian.tar.gz
0d02e176b9ca99e62bf2a45b9d58f0e643b343b2cb50de396a29d8a0d5ddff85 333436 picosat_953-1_i386.deb
Files:
1e5bbd0a7a00af19db8073aab6d3ae87 1037 science extra picosat_953-1.dsc
490d75626689621559b868c3ce76f7b2 62810 science extra picosat_953.orig.tar.gz
5c8a1ff131eff18aa2738c6c73a0acb6 5818 science extra picosat_953-1.debian.tar.gz
2551d8b3b1ed8aef01b765064c7bd28b 333436 science extra picosat_953-1_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAlC7QUcACgkQvx6dH3bVKsR/YACg5UaH9P5hbVx8m1JysMWygSPd
xcwAnRBxPtuVv1sW/PwWGUFNIMoBHkEE
=5XO7
-----END PGP SIGNATURE-----