-----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-----
