Back to picosat PTS page

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