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