Accepted cryptominisat 5.11.4+dfsg1-2 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted cryptominisat 5.11.4+dfsg1-2 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 03 Nov 2022 19:19:13 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: cryptominisat_5.11.4+dfsg1-2_source.changes
- Debian-source: cryptominisat
- Debian-suite: unstable
- Debian-version: 5.11.4+dfsg1-2
- 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=u5d6JzQSlIpM9y/9D/IdCIdlG/vbzIX8/KfwdN20qtQ=; b=iiaRDu/TkXKFYU/xDcLHwTfiM7 l1nWjR8eNu2nYp3IIvZ6k4Oikvzl1WDfMGJPSv9BeHkoemwziFMbzqRxemeSXq4twuRYd/kYRF0DH 4gu0Xcv1Y90tNfQ0Eh/bLoX7rYF37B1Vh8UfR9DXo/VenAY4/GoC2U6EuQaLH3lCFhLyndOYjxBnL OkJg8PONVSyLXFlK/xNv9MTB3BUQ+C2p4ogVKVaTn2jlz/43U6kcg9fuHeR5JKz55/XxYvhW3ohpP HOWgodiKLhKd1qnANAltmCRSBLTVqmuwgYD/Y+hD6JE24qYKmITsaBUZjytqbhaDqSZS3OqZxUSfY BI7wKyGw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1oqfk9-000RsO-BY@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 03 Nov 2022 14:49:01 -0400
Source: cryptominisat
Architecture: source
Version: 5.11.4+dfsg1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Scott Talbert <swt@techie.net>
Changes:
cryptominisat (5.11.4+dfsg1-2) unstable; urgency=medium
.
* Team upload.
* Include cmake files in -dev package (needed for cvc5)
Checksums-Sha1:
172afc1aff415cfed4a50c8b9eafa30760c34224 2459 cryptominisat_5.11.4+dfsg1-2.dsc
e012ea32b6086924e7701600278411645e20d04c 5360 cryptominisat_5.11.4+dfsg1-2.debian.tar.xz
b71882396031894e1243d6fbac1872abbe3a3d12 10615 cryptominisat_5.11.4+dfsg1-2_amd64.buildinfo
Checksums-Sha256:
037e37b859a3b205f07e4c65145d216a037f22db4b52073b9816a6a07a59f225 2459 cryptominisat_5.11.4+dfsg1-2.dsc
31f352b63ee43614c287171fc67798070749845001df61e76ce5a7ab484cee15 5360 cryptominisat_5.11.4+dfsg1-2.debian.tar.xz
3b62e4d94b909be37c9e7220c1c75a58702aa86254c4605be0235afcbddf056e 10615 cryptominisat_5.11.4+dfsg1-2_amd64.buildinfo
Files:
5e1bb81e869cfa922dcadf72fbfc0958 2459 math optional cryptominisat_5.11.4+dfsg1-2.dsc
0a7b8fa19d2009619cf55115676a9f53 5360 math optional cryptominisat_5.11.4+dfsg1-2.debian.tar.xz
ae59465fbacdd8918dd68108f94b3fb0 10615 math optional cryptominisat_5.11.4+dfsg1-2_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmNkD4YPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iisPUP/3S86WZcYc1h2bBYYS6H+Z9PS60a/lyAN9RK
js2+TlkhDq1JOu9ZzZHGW/llCTXGiTD+QTGsDoelFSmp/uS+1rkmttg+GA2wUokM
Hl7Ztmry4qo6cSofgVQPsibt3mG8T5gw6DbffMRjNo4VIeZf/Vwx0phmJ77Ai3y4
lKY9qFl3mogGKYv2WFfGIkj0clLvgzC3ZtbHbGC+J3BBVG8m+Ym1zouSQtaEALTJ
2PoQAQhwWP/+a0905STKD5hJGA8eE7sUuyOHis3rYWWNBtPq6U83svld+kh9hOMA
2Q46mx987aBrTRiNJv+oGVjo3BudhMdMf3eYAdZbe29M2lECUZDeyDbMYGRZQ/bU
wINjfpOQC8yuQttdBzk77/AYPeLiltZaa5DJUzuv2HJ9FhiM0ZJNtUyYdBahDrk7
r9eYjmH2jZoZZ5NvxO6Fbsm+HVt5GfQjkP4OjDaToR1t6G/TTiP7ELoTCd8GO0rx
CSwKMWJBgdpc+A7xUm13TTxjPofSd6Qha/AhzfWopt9Ig3GOhd7Nl+uQc0w7YMVA
ZBW0UHAxeM6h82A8YiU/ylKCv9db77koFv4Jltg1R0kmexJlVNnlYAzGy667BzP6
bYcCe2BB1zH05lBAyiDjNcG8jdVk2VdaEUusae9uZv+0Y3jNrj0hrGjslXnQdCA7
bg34kxK9
=cKpl
-----END PGP SIGNATURE-----