-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 15 Oct 2024 20:14:34 +0800 Source: kissat Architecture: source Version: 4.0.1-3 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-3) unstable; urgency=medium . * d/patches: pass LDFLAGS when building kitten, make blhc happy * d/control: add version constraints to gzip, make lintian happy * d/tests: explicitly specify supported architectures Checksums-Sha1: 6be029b859b820d036596fd22e48963b32cb280a 1664 kissat_4.0.1-3.dsc 2f1fd6efc228401f683851309b0ef27d99214ddb 4488 kissat_4.0.1-3.debian.tar.xz 3be4fc7c1c9eeafd2dbe6e758e8eb19bec814293 5659 kissat_4.0.1-3_amd64.buildinfo Checksums-Sha256: b42a05d8526bfcbc0ff5cf1fb70af3aabffab60e5934ad2c415cc12dbca04e06 1664 kissat_4.0.1-3.dsc 12e3432e15fb4f108fffbdaf820361967718efbc72673e53ff08409ced781c85 4488 kissat_4.0.1-3.debian.tar.xz 68b863a081b6d0d17741c22eda160f487fe938bbf2652e058e54cd90498ecc3f 5659 kissat_4.0.1-3_amd64.buildinfo Files: 92bf6739bffa22df7a28de2c1da09ec2 1664 science optional kissat_4.0.1-3.dsc dc1fc858d13b8cb933743e1a3832f19e 4488 science optional kissat_4.0.1-3.debian.tar.xz f7bfd4ba4653879b51ee93ffd888c902 5659 science optional kissat_4.0.1-3_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQFLBAEBCgA1FiEEj6l3eq8YAbiQe3eGbuOJwPGK93QFAmcOcoMXHGhhcnJ5LWNo ZW5Ab3V0bG9vay5jb20ACgkQbuOJwPGK93R7Dwf/Y0tNrkRZ8zZqDEwEsDUPC5Ex zu10utRni2/4+p1CT/tnRZ9849f6KyNpOxRa/YEnag7oSfWoPmPKOcVvPcFZvifg kOi3otWHT9mRdy/f1vqiEfAcUIPbv4asimoKGsem2+EOQ2RzlHgQFK+3v2V4fvrF jmxZlXTTf8OKew7ywu32Y+VbW5qTy0+RaoqldHNcPFg+KqTblFQn9Y8i3wwvHYKB fCR/6wM+jN+DznSPdiKom1Oq25F6KKwmqGPSL3x8Igmmopufn+dLZXvyv/S8aAu5 XhCS0fYdn+Np6NvSpFZPbiUjy1cZ5/5+Qko2XcSAwy/lKlwR5g6Q9KGhTgV1JQ== =60VV -----END PGP SIGNATURE-----
