-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Format: 1.8 Date: Mon, 02 Nov 2009 22:03:31 +0100 Source: picosat Binary: picosat Architecture: source amd64 Version: 913-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 Changes: picosat (913-1) unstable; urgency=low . * New upstream release * Bumped standards version to 3.8.3 (no changes) * Extended long description Checksums-Sha1: b6c8ce1cb428d85d34cb70ee481c8f5332059b4f 963 picosat_913-1.dsc 9cef6cbbab5863a076f22e7785a778e1730ea25e 44863 picosat_913.orig.tar.gz 5f883ec43b2e1ac5d239924d06abed239c2681d6 3425 picosat_913-1.diff.gz f5302f2b2a1d6cd0e777e0991c6e1a5acd8454bd 40446 picosat_913-1_amd64.deb Checksums-Sha256: e76d4c85d7ac6e541da296fb97c32b5563c1f12d854c6719f6bf84a9f57dccb9 963 picosat_913-1.dsc b951d1eff62a309bc28bb453d1c18a705c107cab50730029f21f3ffb37c67e78 44863 picosat_913.orig.tar.gz 4c1f205827a889cedcd4f2469acdc16da7c00e1d20c277cf409eb4e444f787e3 3425 picosat_913-1.diff.gz 469c547563e067da517e42609e1c65fa08f4673249d6e7188a549fbe3986e4cb 40446 picosat_913-1_amd64.deb Files: d64b35cf945328bcbebc10d136706192 963 science extra picosat_913-1.dsc e658fa16cd71ff2cafae190a905a93c6 44863 science extra picosat_913.orig.tar.gz eebfb26c9702866985189b097370b214 3425 science extra picosat_913-1.diff.gz 4f3049ab2a457e7cc0d6a5e489f545c4 40446 science extra picosat_913-1_amd64.deb -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (GNU/Linux) iEYEARECAAYFAkrvSpAACgkQvx6dH3bVKsRqTwCgtPVDuRz322+38PsZOfQaKBRJ 8msAnjFKu1JhGifp7eDg31xuI4Cw+em7 =0Y6k -----END PGP SIGNATURE----- Accepted: picosat_913-1.diff.gz to main/p/picosat/picosat_913-1.diff.gz picosat_913-1.dsc to main/p/picosat/picosat_913-1.dsc picosat_913-1_amd64.deb to main/p/picosat/picosat_913-1_amd64.deb picosat_913.orig.tar.gz to main/p/picosat/picosat_913.orig.tar.gz
