Accepted cryptominisat 5.11.2+dfsg1-1 (source amd64) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted cryptominisat 5.11.2+dfsg1-1 (source amd64) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 03 Oct 2022 18:00:11 +0000
- Debian: DAK
- Debian-architecture: source amd64
- Debian-archive-action: accept
- Debian-changes: cryptominisat_5.11.2+dfsg1-1_amd64.changes
- Debian-source: cryptominisat
- Debian-suite: unstable
- Debian-version: 5.11.2+dfsg1-1
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=OaoRxzGCgv9qpyl84wKA0ueM8rqfkZX0cGb8Ly/l0tA=; b=JI1c7xVSlEPRNfPFK5LwaF9sS6 kspv6nUr75wfmWHi2nfC7XM23UzivgXQ9M0ZuSmw+GzSzMMGMLH1TC3qMUpwhayRvCpa3gVlloHqu gOOTzaYkU+3UANNgVVU2AJq25X12eFwylrNYK47h+sg7xrYzd03W7R/G2k0t+y6XjExzDJKcWKlX8 nxiPiH5HPffWv6sB2yBejLtk2Kgw3X8xMuV8/exGuAvg2SoQ9gzIWzEEwDI2ZNA9P7I0KOUyjBwme KVcICPAJd6xMvV0bY/Sif7bmdGDP5YgBrBSDxJX85/haQhbRyjb1GQNJN0fgrJEIlkdT+rZL6Zft/ 8KAvFg5Q==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1ofPjf-0040wx-F6@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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@lists.alioth.debian.org>
Changed-By: Julien Puydt <jpuydt@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-----