Back to picosat PTS page

Accepted picosat 913-1 (source amd64)



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