-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sat, 08 Nov 2014 18:15:16 +0000 Source: picosat Binary: picosat Architecture: source i386 Version: 960-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 (960-1) unstable; urgency=low . * New upstream version Checksums-Sha1: 7a28870ee746b3aa863781ab28bad1a490a24623 1722 picosat_960-1.dsc 6ed37fa8ba4fb11808f7d638173cbe0adecf00b7 63269 picosat_960.orig.tar.gz f15c0e950f314bc9f200c255d0a18cfb75a26400 6128 picosat_960-1.debian.tar.xz Checksums-Sha256: 2553fc12c17af927016eac9b8ae99839ac2223cb4af0e57f7f9dfe4ebf7f1498 1722 picosat_960-1.dsc edb3184a04766933b092713d0ae5782e4a3da31498629f8bb2b31234a563e817 63269 picosat_960.orig.tar.gz ffc2018f7a0c084f1be2eae38d29cd14a6935fbfc4510265256d7d689b2df563 6128 picosat_960-1.debian.tar.xz Files: 525c9c8d824a2e61b366ae28ef4b4a6e 1722 science extra picosat_960-1.dsc bee515cd9fd12ffaffab10b3587aa833 63269 science extra picosat_960.orig.tar.gz 319a15a4277a2f91cca97d1e4b44e812 6128 science extra picosat_960-1.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) Comment: GPGTools - http://gpgtools.org iQIbBAEBCAAGBQJUXl4/AAoJEKjvEonjOGdB4wwP91400FGumlaAc3nhmkCmndNQ 9FnLtQvBAedo5bmkl0miwo35tGPvFcKG67cK5utUrW2z9q/z0otv4TL38duMXtsU Y8U/5xC/lBGDXgfrFPPozYaaXaav5XmlmYmGFD1jpzeSnYA1Tj3dSk2v5Y+xEMC2 eR2mVZ2DWetXWCdsppnCGm/awsBoaS3Y+hFWM5taJ7Uo7i9v7AJKHLTEGxVS6Zsn TYuXuBq9LALsbF2JrzoLro0NMSVLvHyJeSNHME3viuiiNyqzOnS8Q4G4GFLDAc3G kvIN0W2onoCWgcSz2DDSiHamT3LSOgujHxVsZtOnXRqfnp4vMTk4qc9u73kguYht jJ5ONXIUkrlnnrernWLHVgYHtPpPInvQq5f37GudKsONa3UP/z8/zFsPGLhCgypL BQ03EIhlfX5BsqB0ay2u3aoWIaXp7jF5HdTdQHOV98IgmKQfha1o8DR/ubISz3l4 femIPDkTpWSpJckBk8Nf4juL9Kg/7ZmiCnR32nkFth4jiJUVvaOy4ZPmt/V16OY6 +iGpSjKfpa7ODaa0HDsucOW251ffJg1G1b0OD/mIHzWTpa3oPFg3g4MZhFmSeBu+ Wczkmjxv3hJ/EVnaEoKH9VFqxoBWw5Q1xnCMGSqH9dBcFc0Hz/+HT+mL/JTorFH8 CxmPj3SRti085MMDy+8= =6c2C -----END PGP SIGNATURE-----
