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