kissat_4.0.1-2_source.changes ACCEPTED into unstable

[Debian FTP Masters]

Thank you for your contribution to Debian.



Accepted:

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 14 Oct 2024 20:54:27 +0800
Source: kissat
Architecture: source
Version: 4.0.1-2
Distribution: unstable
Urgency: medium
Maintainer: Debian Science Maintainers <debian-science-maintainers at alioth-lists.debian.net>
Changed-By: Shengqi Chen <harry-chen at outlook.com>
Changes:
 kissat (4.0.1-2) unstable; urgency=medium
 .
   * d/rules:
     + enable LTO
     + disable dh_auto_test on 32-bit architectures
     + compile source files with _DEFAULT_SOURCE defined
   * d/patches:
     + add patch to disable flaky test when running as root
     + add patch to fix a macro typo in tests
     + reorganize content in patches
     + update patch to use LDFLAGS from dpkg
   * d/control:
     + add drat-trim in B-D to enable tests on proving
     + add compression utils in Suggests (with which kissat can read
       compressed input files)
   * d/tests: only run autopkgtest on 64-bit architectures
   * Create d/upstream/metadata
   * d/: run wrap-and-sort
Checksums-Sha1:
 d5197860d88ea1bc16c572a2c697ea2774e0dc9d 1656 kissat_4.0.1-2.dsc
 716f00058e98313a75e491abb2bfcb3c2f685d06 4180 kissat_4.0.1-2.debian.tar.xz
 4cb07c1dbd924fc258daa73ba47ae9fc244f3aac 5639 kissat_4.0.1-2_source.buildinfo
Checksums-Sha256:
 8ada312b40f33d8e96758458b534decdedbeac8ff648e804066491eb3603c995 1656 kissat_4.0.1-2.dsc
 11a9605cd4042789f3b3f0af4179786edef78a94fbcbafaebafd6c2cb0d44345 4180 kissat_4.0.1-2.debian.tar.xz
 96b3e916a21f4dc62533d56436eaf9fc1792f05df99b6f76b6c1fdfac20aa207 5639 kissat_4.0.1-2_source.buildinfo
Files:
 50372ddcadcdb1f013f4c217e941a09a 1656 science optional kissat_4.0.1-2.dsc
 9827b387eb2fb714a6b6277585b8de64 4180 science optional kissat_4.0.1-2.debian.tar.xz
 25b6effcb17f60314a7c6e714aacc85c 5639 science optional kissat_4.0.1-2_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQEzBAEBCAAdFiEEBLHAyuu1xqoC2aJ5NP8o68vMTMgFAmcNGrAACgkQNP8o68vM
TMiroAf/U9WobJodvj2XhrEyDkrYfRUhmhNknBMLKhoxb93DVwfi67WxS7Pf+iD4
WPenj0ccnfhSlaFVoxo2VY51tKZeaHYpjZBRosuK1ZZ2WVtytZA44hN4AmcrJTMV
jriuLWIwbd//I3oq1pRiXJT8J5AH6r3amkF7+RX9x0YinFOv27omyE5zJ+s2lVTO
e8CVlh52Kx0yyb8tw9TXmYtNo1rNC6GZsn2p50Tt00icCkFSRckCsXG7ziBBrsI7
LXCas3TsDjDsntKLG+sk2xsCT371YFnNiWkkgDnCizG5MkjomPqjxcSLKK6aqWiR
7Gc76LmRFYA/guYulpjgXNN8fgyx7Q==
=FKau
-----END PGP SIGNATURE-----

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 228 bytes
Desc: not available
URL: <http://alioth-lists.debian.net/pipermail/debian-science-maintainers/attachments/20241014/f67cca4e/attachment.sig>