cryptominisat_5.11.15+dfsg1-1_source.changes ACCEPTED into unstable

[Debian FTP Masters]

Thank you for your contribution to Debian.



Accepted:

-----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 at lists.alioth.debian.org>
Changed-By: Julien Puydt <jpuydt at 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-----