-----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@alioth-lists.debian.net>
Changed-By: Shengqi Chen <harry-chen@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-----
