Accepted cryptominisat 5.11.4+dfsg1-3 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted cryptominisat 5.11.4+dfsg1-3 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Fri, 14 Jul 2023 21:07:55 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: cryptominisat_5.11.4+dfsg1-3_source.changes
- Debian-source: cryptominisat
- Debian-suite: unstable
- Debian-version: 5.11.4+dfsg1-3
- 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=iAmKnvYjOHCC+cliK+dHUUgXCqze6RNiBYxhDnEn4bA=; b=paDepaoHqo5R/nA10lssZkl5eP lT7ls1ETJiMUKieEBC8F6xVtqXCGqYDAdxNCJjPes4HrC2krwjy1A/KgGTB2m2dlmdnA5M524Mloq MkW5J3MqyqFvMjz9dRapUCxQiyI1/+jXah23q+41uGVEOzfy8gUiA4VsZWpsZ5OO3Xeeffhi/BbrV E3tfOw61cyrX9eyLruoc7UxJMvLKRNVVax9NxaCQTmc8fzXSap1K6J3F3LSXrJOfJj/5mC+/9fkPL SkpBfzFKyAj3MKT6T6zLPTKnlQojkR7FDMqIjoiTVNIsaeDblyexR7eW5TC91FMvpletbQwLfp4Hw ZgUV6a7w==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1qKQ15-00H7ON-6z@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Fri, 14 Jul 2023 16:23:16 -0400
Source: cryptominisat
Architecture: source
Version: 5.11.4+dfsg1-3
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Scott Talbert <swt@techie.net>
Closes: 1037611 1040548
Changes:
cryptominisat (5.11.4+dfsg1-3) unstable; urgency=medium
.
* Team upload.
* Fix FTBFS with GCC 13 (Closes: #1037611)
* Remove broken symlink (Closes: #1040548)
Checksums-Sha1:
42635540fbe2128401eee4cc32f7ffd537eb39df 2459 cryptominisat_5.11.4+dfsg1-3.dsc
8bf49ef433d42695efebb7b5cd776b3159d6eac8 6748 cryptominisat_5.11.4+dfsg1-3.debian.tar.xz
f55b74d52afcd56576930bdbdb0896abcbab2083 10704 cryptominisat_5.11.4+dfsg1-3_amd64.buildinfo
Checksums-Sha256:
bd169170f90d2f23ac48063185ac1f1164e5f8d6037cb76200505f90828441d7 2459 cryptominisat_5.11.4+dfsg1-3.dsc
9f410b73692e0b530f783c7f4ff66638b09f0401430e1688d7d0736d63ce668e 6748 cryptominisat_5.11.4+dfsg1-3.debian.tar.xz
7aaf6d8c3d1dc764868552313b99f72f51c8dde90dbaf724adbe8bc732d0cd09 10704 cryptominisat_5.11.4+dfsg1-3_amd64.buildinfo
Files:
f1ceba77597c59a2826276587c5a2cc8 2459 math optional cryptominisat_5.11.4+dfsg1-3.dsc
ea61763bfb4aa1189a2561014688cf25 6748 math optional cryptominisat_5.11.4+dfsg1-3.debian.tar.xz
bf0f389ff6a153e0864074b0c18135a7 10704 math optional cryptominisat_5.11.4+dfsg1-3_amd64.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmSxsEIPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiJmQQALCFfYQEO458DFk12L3tY5tn03sQhDFg+D6O
knGt6JE8hgWvYfVdhXOHX9W1FLtcTRsNsJwZb0gLTGrQbxl5q5PAB1pBHpEcz9D9
ppwFUFalNkvDEKSD2U0Dp3nrFoTUJTmRd3fdxCjkTr/HGZQcRZU3gwum/xX/KUZa
buB7o3cipzNlgG7cp6IAfnRn6sILf7zC9WUvmeFELTor02jjM9lAn1f+MISiDdCQ
3Sa4liPh/yyi31ExsW9FExtAUlZKLCHcjCqfLGzoOa2zTKQA8JwX2ep97h33KU/Z
ItljZPrPb6Jfq6Txhs2fPkel9MGObjP7jKHvx79WHvXj+OrNRCva6pIKkw9Osf46
mOBztc17stkCgoRdEI7NfYlCzuMUKRSh5f7Xbkhaqluoz6+fDtuxf6YWrOZmdqpR
3joHM7zncEblE0rU5BPhYUEpm6DdLxjauhvW55LHrFnm4a9T8P8Euc9jPBExO1do
Wc7qdI3m4ZUnqQ7PKSBy7xjmXPInkbLsLka4TDCN81q7qfX2Ptl0x+6YEWlIYgWu
zgIi2/conpJjRqaywjQqDvteMZ+3Fjl5f9MchB4MRUk/l1oBopBgoKSG6bir7+87
xDwRzkpfyufGQzJqU9dHLqlH6GUpZQwSc0XFBg0mzAj3PSOqQM3W5MtFMVR1u4vb
1425UFDR
=3R9D
-----END PGP SIGNATURE-----