Accepted picosat 960-1 (source i386) into unstable
-----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-----