Accepted cryptominisat 5.11.15+dfsg1-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted cryptominisat 5.11.15+dfsg1-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 14 Dec 2023 09:49:43 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: cryptominisat_5.11.15+dfsg1-1_source.changes
- Debian-source: cryptominisat
- Debian-suite: unstable
- Debian-version: 5.11.15+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=EJ1P/JHE0KSR+WyDC6oL9Y2TnaUsbC9HzzJuQa831KY=; b=LpcyeeUYFmBHBRhv2ibDlOLAPf TsqCAWi2s6O97wxI6DIkF106FyZ5heicLae4JQTzgMD5Tnzwjdk+JL13paMQMzJzhV3xxNWeZ2JmR 1Zmxy9qCcQK0B61q98V40UYvpvnhrFtVIY6danDcePjn3gNk/T/BndC1XulAsQPwNSd5Nmhs+BK8u 1OWPIng71790L2Vq7F7bCkKEDHZqX5raV0xnkYeKZ2gVfvSNln3uTmml914zpvcGHobXjWfBZavS5 ccP4e7fxW9J0tQSm4MdPeGuIpfsJ2/UWjtC0CKNSrWOUFPcjk7Ua9+pLr/oEsQN7/sYfcktc1uwvW 2WCGk2Dw==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1rDiLf-00HSJL-Lj@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Thu, 14 Dec 2023 10:26:35 +0100
Source: cryptominisat
Architecture: source
Version: 5.11.15+dfsg1-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1044932
Changes:
cryptominisat (5.11.15+dfsg1-1) unstable; urgency=medium
.
* New upstream release.
* Drop patch for gcc 13 (now unneeded).
* Bump standards-version to 4.6.2.
* Fix clean target (Closes: #1044932).
Checksums-Sha1:
173f205a19ccf2c3609a30d773b33f5f4f24042d 2470 cryptominisat_5.11.15+dfsg1-1.dsc
7f4424602f6f9d7dee67063d57d569944df6449c 474840 cryptominisat_5.11.15+dfsg1.orig.tar.xz
f4ab04ef92418bccf18fe61b8ed4cc4676543f4b 5400 cryptominisat_5.11.15+dfsg1-1.debian.tar.xz
5bdbe8afe46a04a953e88dad4803bbc0b82a5386 9067 cryptominisat_5.11.15+dfsg1-1_source.buildinfo
Checksums-Sha256:
cb0aef9eb97fae029836ebc87a8cb1cf00b1188fe21df86d91100095e57cd5d9 2470 cryptominisat_5.11.15+dfsg1-1.dsc
225ce75c8cda834e4e10c8260b1a0c6e6a836a8249ac293403aa660a35767f65 474840 cryptominisat_5.11.15+dfsg1.orig.tar.xz
50c513792beb796597b11fc50a333c0e7de17a6dca9991752d417830cdbdc270 5400 cryptominisat_5.11.15+dfsg1-1.debian.tar.xz
969dd04fec7a232e5f03ed67b400821efb2838fda1cf91bde872b4744b76f461 9067 cryptominisat_5.11.15+dfsg1-1_source.buildinfo
Files:
17872dd8a22622274c05e20a7732a63c 2470 math optional cryptominisat_5.11.15+dfsg1-1.dsc
a0c2e04cb58bd97213598d08b146b25c 474840 math optional cryptominisat_5.11.15+dfsg1.orig.tar.xz
d3cdf5925099cea30792590a8f17cb93 5400 math optional cryptominisat_5.11.15+dfsg1-1.debian.tar.xz
0a27b9abb59d0e916614e68d6f320edb 9067 math optional cryptominisat_5.11.15+dfsg1-1_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmV6ypISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRkocP/jOr+J4I3FuuCSDERie6FMde2qG3de5f
MNFsvDRYZ9JPPw4DkpoG34wPzm5gdyjVlHh/RbACEk1QyZNDxC7GgmweqPtkmRYL
KNL3LXwpM09oeMLP9CYrQb9d1Emzxf+BUlCPZh6w430azAhI2BAlctYg9K3SacQM
WM0CKX2R5H/3pVcuGu4bCyq1Ow8rRW85bnsXL5cD4tJ002CbTgBowYXMWuTcNHV8
r5Z8qJ7aregP+jT8GzuB4w0VTlj1P98ddsaqeY8/7rV81OWil9l0LeQnE/GHZleK
/svf6CfxP5UR7RLLv5rGeuazvbNZa3GB9CcCQAK6mrjhE5aAoTlfadvhWXXdWJod
gFzL1D136nCl1xSlhVKsljBPgkB/i36frLEcI303Oq/ABWgIM1TR/QR40yfz0NJp
/GiDkJfvhd4PRzdktOpIkrQ5NPtteEVZNt1PPdi4fAjY89U13/PdeJFub4SsAuBA
OOzyAcQH/TNZqHQXYUI3X5yv/nH+pdEu/YKX3ReKqy3k6oJB7/eAdIwG60QYzRyb
itZnGZtSDtPft4JOOHSwjf6YL1kFnlUMSdknMcwrvT4mQKg4/xEoiDeku8H+HWs7
lZ6ZdTB/IhamOomBW4M9FW+UoQ4+6g8oCtI3uM+5YxTKz8NLR4Yr2uvhuM2v+gAF
gCfaiJ5nyulW
=SQxV
-----END PGP SIGNATURE-----