Back to cryptominisat PTS page

Accepted cryptominisat 5.7.1+dfsg1-1 (source amd64) into unstable, unstable



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