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