cryptominisat_5.11.2+dfsg1-1_amd64.changes ACCEPTED into unstable

Debian FTP Masters ftpmaster at ftp-master.debian.org
Mon Oct 3 19:00:11 BST 2022



Accepted:

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Mon, 03 Oct 2022 10:25:26 +0200
Source: cryptominisat
Binary: cryptominisat cryptominisat-dbgsym libcryptominisat5-5.11 libcryptominisat5-5.11-dbgsym libcryptominisat5-dev python3-cryptominisat python3-cryptominisat-dbgsym
Architecture: source amd64
Version: 5.11.2+dfsg1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Team <debian-science-maintainers at lists.alioth.debian.org>
Changed-By: Julien Puydt <jpuydt at debian.org>
Description:
 cryptominisat - SAT solver command line interface
 libcryptominisat5-5.11 - SAT solver library
 libcryptominisat5-dev - development files for the CryptoMiniSat SAT solver
 python3-cryptominisat - Python bindings for the CryptoMiniSat SAT solver (Python 3)
Changes:
 cryptominisat (5.11.2+dfsg1-1) unstable; urgency=medium
 .
   * New upstream release.
   * Bump standards-version to 4.6.1.
   * Drop the spelling errors and manpage patches.
Checksums-Sha1:
 e92d22d414c6751f00a194707fd9df1be5dda9b2 2463 cryptominisat_5.11.2+dfsg1-1.dsc
 155ece20e1772c450bee8be6c1246b57d21cc308 530020 cryptominisat_5.11.2+dfsg1.orig.tar.xz
 b18f2dcfffc6a26a4181fe38a05991fd3ade6200 5268 cryptominisat_5.11.2+dfsg1-1.debian.tar.xz
 ba978833fd383ce3b5327acd99fbaca0131ab9f6 1047988 cryptominisat-dbgsym_5.11.2+dfsg1-1_amd64.deb
 5b208587c3651b6ce74c1c2417b85b32d2253263 10665 cryptominisat_5.11.2+dfsg1-1_amd64.buildinfo
 2940d0dc758bd7b315c753c3a5aac3fbb9718ad2 77044 cryptominisat_5.11.2+dfsg1-1_amd64.deb
 cd6e5db3d9cbb871ca34aa661705943407ea0586 7324000 libcryptominisat5-5.11-dbgsym_5.11.2+dfsg1-1_amd64.deb
 05671625aeb780563160d78b6aac93d28100dc46 502032 libcryptominisat5-5.11_5.11.2+dfsg1-1_amd64.deb
 d29d4070d6d23565562e679e498a85b3299d40f7 15492 libcryptominisat5-dev_5.11.2+dfsg1-1_amd64.deb
 e64dc8e25eaa5523e9cb101dea3626760db01b29 6932672 python3-cryptominisat-dbgsym_5.11.2+dfsg1-1_amd64.deb
 24257c4aec76e2e94e773ebcfcdce29a62b146b3 533016 python3-cryptominisat_5.11.2+dfsg1-1_amd64.deb
Checksums-Sha256:
 13b4662365395501ca8a587a71d841cd17485ea726eed21544f7467e9d5d0b42 2463 cryptominisat_5.11.2+dfsg1-1.dsc
 d5c40354a71dc57611b0ecb43a03fb2122a9233e6274a2607f49f75ea78b24d5 530020 cryptominisat_5.11.2+dfsg1.orig.tar.xz
 be8d11f94ab2e2daa34524f772419b7212fa08a0247da057c874b048fd3e72e3 5268 cryptominisat_5.11.2+dfsg1-1.debian.tar.xz
 5ee1668d0fbaf5b90b1ce312f386424590191523763fe3bc5d7b68df25ad7198 1047988 cryptominisat-dbgsym_5.11.2+dfsg1-1_amd64.deb
 705ee64310449a53e4ff300993cb6fce6e07e8afb551964026b7d24adfd991aa 10665 cryptominisat_5.11.2+dfsg1-1_amd64.buildinfo
 d9109473e00a095d0906f7f520a939d229dcd0aaa5179b3a3551d412640c8a4f 77044 cryptominisat_5.11.2+dfsg1-1_amd64.deb
 0fe41942461c541a151598e31ae1935847dba1722c09ff601516dcfbe693fe96 7324000 libcryptominisat5-5.11-dbgsym_5.11.2+dfsg1-1_amd64.deb
 3c7d874d9c9e549f5615c00e56178447ef139f9db88fe46c9c58ae46d8d8447a 502032 libcryptominisat5-5.11_5.11.2+dfsg1-1_amd64.deb
 bae56ea6928e7a415a1462ee28c8cc64f9c7c61ca5fb3b51cef99e87ca9bac9b 15492 libcryptominisat5-dev_5.11.2+dfsg1-1_amd64.deb
 20294db11b4334da9083ddfc8fc5f1568055b4a468df83fe0194994c32025514 6932672 python3-cryptominisat-dbgsym_5.11.2+dfsg1-1_amd64.deb
 1cd006263fabc8c06eb3b62a182f310a7f96cd8bc353a32d47724a6cf0bd0ab4 533016 python3-cryptominisat_5.11.2+dfsg1-1_amd64.deb
Files:
 aee3d3c3a119591d8535110abc457776 2463 math optional cryptominisat_5.11.2+dfsg1-1.dsc
 3e9b9af2fc5c148dbf70e696ff6d9477 530020 math optional cryptominisat_5.11.2+dfsg1.orig.tar.xz
 58528f39fa766e2bdac2640b15ed97f7 5268 math optional cryptominisat_5.11.2+dfsg1-1.debian.tar.xz
 cd8725d2aa14a645fbca414016d20ce2 1047988 debug optional cryptominisat-dbgsym_5.11.2+dfsg1-1_amd64.deb
 a66a307c46f02d7ae2a8a72deb277568 10665 math optional cryptominisat_5.11.2+dfsg1-1_amd64.buildinfo
 540ed9b6f67df79a75943feeb0c35578 77044 math optional cryptominisat_5.11.2+dfsg1-1_amd64.deb
 db028573456514641e46c38414616ca6 7324000 debug optional libcryptominisat5-5.11-dbgsym_5.11.2+dfsg1-1_amd64.deb
 2e677fdfbe631da8741a7a29cb85652b 502032 libs optional libcryptominisat5-5.11_5.11.2+dfsg1-1_amd64.deb
 ba0b62469127ef1bc130ed20c084e332 15492 libdevel optional libcryptominisat5-dev_5.11.2+dfsg1-1_amd64.deb
 4da63690a61a7858fde40c634385f940 6932672 debug optional python3-cryptominisat-dbgsym_5.11.2+dfsg1-1_amd64.deb
 411e2f696ac89f29f1e205c33d7f14a1 533016 python optional python3-cryptominisat_5.11.2+dfsg1-1_amd64.deb

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmM6o6USHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRkw4P/0CXrMAMnFe9YkE22cJyBSMRw+ysrILV
WOOv+gxsiOJ0Pqf0YjGM3EAm3uD4nxAOH16MDyN/ODho4y2OqUgdhW//IFLjVjeL
B5bgP/tr5HAIgnyr92GiaAPKtW3ELFsyxiBeOWDQH0Ze+71sc3AxaE+LxtovhegL
LuA9kHTEuupvIaEdC7wSJPUYQhQbZsjBvlrGBAGLYyl+0ySIapmBkp/VoGiQ1mNT
DK3Fvso3suG8lYM5bbboA7kcQw/WDlL1PfwCxnSW0/lncoRT+zVfPBOALoW13ATC
jdMZKXIFxgpPnYTb9nVd+ZySkGaGDYzVf4AVYv6QAKpTmMFPjA/dt8G0IrYoQvFQ
r2hottJ9jV+Iq7TqAdQzMezzgBbxiPkQGqVs/AjM8zRxiGvZUiLnp/fbIpg48DJ/
0VUHiCm7jTtUJj4pHxNH6uDWx/it6z7Xl+Gtx8Gso28y0dShHJ84ZZYibG9boGod
3Ec7t7gGp3WcQ68x+ZYetZxp6WBaUuuNeC4gYiFJeQ9nG+BIOaC+DGcTtAIhDMR1
L+c3nDdZB23ZuE3vPIJCZeTPVftJvp08j2c/mjLBybTy55if6BVl00etnDVKYfIt
/TU59sNN4gIYPlafL5U/tIUYJBGx2/24tI3SS8rt/iFCqF5SerjTY9fXWBJZ8nlx
BRup23iW4k69
=L5TX
-----END PGP SIGNATURE-----


Thank you for your contribution to Debian.



More information about the debian-science-maintainers mailing list