Back to picosat PTS page

Accepted picosat 965-1 (source) into unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Tue, 20 Aug 2019 10:44:08 +0200
Source: picosat
Binary: picosat
Architecture: source
Version: 965-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Andreas Tille <tille@debian.org>
Description:
 picosat    - SAT solver with proof and core support
Changes:
 picosat (965-1) unstable; urgency=medium
 .
   * Team upload.
   * Move packaging to Debian Science team
   * debhelper-compat 12
   * Standards-Version: 4.4.0
   * Secure URI in copyright format
   * Remove old boilerplate from debian/rules
   * Trim trailing whitespace.
   * Set upstream metadata fields: Contact, Name.
   * d/rules: Use default flags
   * Split patch into logical pieces
   * Multiarch location for libraries
   * Fix symbols file
   * Hardening
Checksums-Sha1:
 4321adfdc5c11f76117abf8bb8da1de721d9749f 1919 picosat_965-1.dsc
 66869e4be43dcf6765b047d5bb20b7b1fa32eb16 64386 picosat_965.orig.tar.gz
 84afb97aa75e07d2ee2878e2dc7783de0b893d80 5988 picosat_965-1.debian.tar.xz
Checksums-Sha256:
 1c32542500db8a2d4f333c650c3f4b57ca68e0cab51410011b5b218e2ca7dc89 1919 picosat_965-1.dsc
 15169b4f28ba8f628f353f6f75a100845cdef4a2244f101a02b6e5a26e46a754 64386 picosat_965.orig.tar.gz
 bf0bcc4942526cb390d495874b220c1d0ce9a07eb95e7d4b2133518ead35cc74 5988 picosat_965-1.debian.tar.xz
Files:
 5a8ea634497575bdbed85c8100876058 1919 science optional picosat_965-1.dsc
 d37c236d5c60b03d888d137c2fa4285f 64386 science optional picosat_965.orig.tar.gz
 cf98cde8f10666f6e9c3ba73702c22d5 5988 science optional picosat_965-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQJFBAEBCAAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAl1bs2QRHHRpbGxlQGRl
Ymlhbi5vcmcACgkQV4oElNHGRtGqyg//Yidl23gTB5Exuk0+BmgD36+AVpdQHb3e
W83Fx+puZePIHPb2Gf7k35wvgFzk+dfEC+8fNZy2fSUpBfPqk2/+gSLnEjzQtRXr
fRQ7nU49IxcsvZVeqGtHnwMQsuIXwsjaK7gti6TH2WDMXi3j9V4U2SsH354KptGy
qOz0CHV+wCMIBOqoieqG48WsIMGdafS5CAp1wf7hW63nLp4SE6vqcDWl/HN/jiJ+
fky/8vaN6J/5V9fN5DSIAcCLAc8Vty5i/VO+u2ZiGPhYcDuU/uuEH/YKq3soRuDi
r3pEjEgadG1MiFqhkrw4vfb3D0WWaetqexcihe4xvZX+zX2dzNO0LXs7rjSKFQKq
sGAtnF7lP7ZTfprR9wH0EAhgqeOS3sR/1hP7GzTuy1Qrd/UJYyRzR5gR3ggftCqW
AoWCg3RtLyu90tEvzWJ7oTX9g+Sie6wB3ssb+ApN0GVH405DwuMeSErp6eR8MTAU
c8GbfD8B4jjnFrolffpQL+8t0xCCEG7chleigAAW6V9I5dTtUAWY9h23XTwFoGMc
dKCwKy9IA//Zh0ox6Ul+A6j6I88FmgnPg5NVRKYXYDwDIq2GwLebY9dWAusxv/D7
suEHN95su2cYRFph3iwpajV/ixIg/r7YtSE1x/xpWLe7Rzp7OAW7OQbThM26R/cd
plrFIdBZwG8=
=s2Jr
-----END PGP SIGNATURE-----