-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 08 May 2020 10:55:25 +0200 Source: cryptominisat Binary: cryptominisat cryptominisat-dbgsym libcryptominisat5-5.7 libcryptominisat5-5.7-dbgsym libcryptominisat5-dev python3-cryptominisat python3-cryptominisat-dbgsym Architecture: source amd64 Version: 5.7.1+dfsg1-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: cryptominisat - SAT solver command line interface libcryptominisat5-5.7 - SAT solver library libcryptominisat5-dev - development files for the CryptoMiniSat SAT solver python3-cryptominisat - Python bindings for the CryptoMiniSat SAT solver (Python 3) Closes: 913390 914711 915605 931284 954895 Changes: cryptominisat (5.7.1+dfsg1-1) unstable; urgency=medium . * New upstream release 5.7.1. * Add myself to the packaging. * Point Vcs-* fields to salsa. * Update deps (Closes: #915605, #954895). * Fix typo in description (Closes: #931284). * Drop the symbols file (Closes: #913390, #914711). * Drop d/compat and use dh-compat 12. * Bump std-ver to 4.5.0. * Reworked d/copyright. * Ship upstream manpages. * Add links from versioned executables to unversioned. * Update d/copyright's Files-Excluded to new upstream. * Improve d/watch. * Drop DEB_LDFLAGS_MAINT_APPEND from d/rules: its value is now default. * Add help2man to b-deps. Checksums-Sha1: 6527eb500a9ed42303af769f1b93753a2a31f62e 2408 cryptominisat_5.7.1+dfsg1-1.dsc c6e278f17cf0f07c6a15d661468d29afc9c400cc 410248 cryptominisat_5.7.1+dfsg1.orig.tar.xz adf5e4da988288f771eba6bf4c9a4d910116acde 4692 cryptominisat_5.7.1+dfsg1-1.debian.tar.xz 7623829561fb551c496449c2c5a84983ce7bbf56 1190536 cryptominisat-dbgsym_5.7.1+dfsg1-1_amd64.deb 90d1915e9aed7811bdaa32426e1b9e57b05614e1 9432 cryptominisat_5.7.1+dfsg1-1_amd64.buildinfo 7d48a60367b3044bf0062570108e4831b597d335 93724 cryptominisat_5.7.1+dfsg1-1_amd64.deb 18ab0cf628a2cb2ee6b250d0ac4131899e74113e 5470428 libcryptominisat5-5.7-dbgsym_5.7.1+dfsg1-1_amd64.deb 620a8eab1fbaccb0268d827505a822aa3f9d51f5 401904 libcryptominisat5-5.7_5.7.1+dfsg1-1_amd64.deb a872528b1d7b86c2bbc532e0c220caa3be58fd9f 12900 libcryptominisat5-dev_5.7.1+dfsg1-1_amd64.deb 5f157d0ce85dc17cbe69a9e4d4f3bc9495905cae 89964 python3-cryptominisat-dbgsym_5.7.1+dfsg1-1_amd64.deb 12071991efaabe82d2f53f91a440795f0401cf41 18768 python3-cryptominisat_5.7.1+dfsg1-1_amd64.deb Checksums-Sha256: 0f216b930ba3dd7c1179d740a635e3f99ca37505088f47e772616cb5ddbac1ab 2408 cryptominisat_5.7.1+dfsg1-1.dsc 3f0301d0331fb3fe643f8a389b7dacbfe25153c25b68c6f42e84764024503d7e 410248 cryptominisat_5.7.1+dfsg1.orig.tar.xz 6c67e1a05e308a2cebe2457f1e1f8fc7578dfe5c6ac6a6011dadf0e69d7f3895 4692 cryptominisat_5.7.1+dfsg1-1.debian.tar.xz 3d43c36cd6b6972e4b08c21262d52c4b4411d6933995ae5eb547402a00e8fac4 1190536 cryptominisat-dbgsym_5.7.1+dfsg1-1_amd64.deb 790769a2defd6acf6098fd3c8871aa579c75e450e24909d15bd7a36d1ddaa51a 9432 cryptominisat_5.7.1+dfsg1-1_amd64.buildinfo 81ab3f47cd566b9c856e37ff0d894c033ad92b5ff174c52d405ce3e45e0e9961 93724 cryptominisat_5.7.1+dfsg1-1_amd64.deb bf125b36fb4a9117e636160d8df0a2566c4a73602741d6616c1f6013bb9f4d9b 5470428 libcryptominisat5-5.7-dbgsym_5.7.1+dfsg1-1_amd64.deb c623f6cfa28ee3e862de764b2a20dd642d423d356d788e0f5ff90641dfa536a0 401904 libcryptominisat5-5.7_5.7.1+dfsg1-1_amd64.deb 9822396cf12363f6375639e78cf5e2880f407260f03a58a7714d78ce8ee34bbe 12900 libcryptominisat5-dev_5.7.1+dfsg1-1_amd64.deb 0e32750cf66bffdbb83957bdd249a578f294fd105d9756361a6a1a7c8acdd952 89964 python3-cryptominisat-dbgsym_5.7.1+dfsg1-1_amd64.deb 550b54bc33d773e2a61e126721b446b1329ef90b9326383f88e75aa766bde5fc 18768 python3-cryptominisat_5.7.1+dfsg1-1_amd64.deb Files: 220e239b4bff1615a20d270bb031d8f5 2408 math optional cryptominisat_5.7.1+dfsg1-1.dsc 328eecebc7a718aa918914eff506ce5b 410248 math optional cryptominisat_5.7.1+dfsg1.orig.tar.xz 17d8500ab2ff4650cd774edaa3403e41 4692 math optional cryptominisat_5.7.1+dfsg1-1.debian.tar.xz 3c48adee145f642f75d656b209b45e23 1190536 debug optional cryptominisat-dbgsym_5.7.1+dfsg1-1_amd64.deb 561446b77ae4f9bf091307b368680014 9432 math optional cryptominisat_5.7.1+dfsg1-1_amd64.buildinfo cc3ad9ab59efef063c9312c67b5bf13f 93724 math optional cryptominisat_5.7.1+dfsg1-1_amd64.deb cfd49fd8ae2e1b17df395ab02b721a5d 5470428 debug optional libcryptominisat5-5.7-dbgsym_5.7.1+dfsg1-1_amd64.deb 6ab44c335c31118994236025f0da2095 401904 libs optional libcryptominisat5-5.7_5.7.1+dfsg1-1_amd64.deb aff288e0d9d04a9761785912c35a8ccb 12900 libdevel optional libcryptominisat5-dev_5.7.1+dfsg1-1_amd64.deb 55b722079e4bf674286c3c53b5daec75 89964 debug optional python3-cryptominisat-dbgsym_5.7.1+dfsg1-1_amd64.deb 40b8f9b1b08e4e90516ec0754216b8ed 18768 python optional python3-cryptominisat_5.7.1+dfsg1-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAl61LlwSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRJQYP+wU3x649aRA3oiMUEw+GCFMj/2jD7wTb V76e3+0dfA56MFObJq33TaTPJ10oNaeQ61O9lOtPtrIRUPv8Y1si32/+/mLJKSR1 F1IZ+nSq+Dkmr5UKU4Oc+pq5WcFfNVccN2a6qKT+olwC/FwwOwQCSBL8S2xYyWPu GAdLHdSuqna9nxwvyjwPMOhK27S1Hh80pCOu65sdwxT0+w5Vhr51xOT/Yi9OSejy 8l7ffOt0ryY8hmsVL3LVW/FR/ACKthr5SOsU/t404p07J6MBQkE1qpC7oGyWqhdf IO5CEgMhoI0VI0DR2By6b9O4qesLqvP22kUBOeMJkPkVGERHyEZzdzqoce2xRJRn IkN59y9zLkYTWdTFRI8jSkTXg5wT3sTS/rzpDvEZV93+ZCdgo+Z7vMZssrICYtLI dvuLIwu9SC9fTOBu+6e/4gyG6V5PE7GTMxTqTPDmBwIcQNip23qjxdOrlC63M+yB 5ZwYbFXpv3U2jpBxQKPqsN4kMBMbq5Yuw70ZMO1cEu6LxHPjVzyxNgJkQhYJ4y/C duhyToiPtqvYXhBo/J/+ehzMqoqxDwr5phX14xrlBlPkmwcozLKBJOCsL4AOT0Fm dMeP0lOgSdwT8iNTq3YT7zheYqG1YXM1wy05403jzo/gEFGJyoGkjcOBOurfGOsM fbrRTh8FelLo =6fo8 -----END PGP SIGNATURE-----
