-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 10 Sep 2025 22:31:27 +0800 Source: kissat Architecture: source Version: 4.0.3-2 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net> Changed-By: Shengqi Chen <harry@debian.org> Closes: 1099368 1112298 Changes: kissat (4.0.3-2) unstable; urgency=medium . * d/control: replace p7zip with 7zip (closes: #1099368). * d/rules: pass CC to configure script to fix FTCBFS (closes: #1112298). Checksums-Sha1: 5216a8e52abdec978c4c34cf1a0f209dca696e71 1982 kissat_4.0.3-2.dsc 592bd136707b792ad78c98fb72824b2905e4d174 4656 kissat_4.0.3-2.debian.tar.xz b6bc2ba70a79705a28a4b52adbe8dbe1e0c39aa2 6122 kissat_4.0.3-2_amd64.buildinfo Checksums-Sha256: 877e343336f15c2a79c67323183fffb2c414a1fff3331d23e2befaeb95f2752f 1982 kissat_4.0.3-2.dsc 19f1cb824c399cd3b7b7c4ed60b324d76aae2c132ebd1d097577ebf9c23e966d 4656 kissat_4.0.3-2.debian.tar.xz ea5f0bf9392cb3f7366df2a78f69bfecedc892655ab2e45ee5c03656c07366d7 6122 kissat_4.0.3-2_amd64.buildinfo Files: 9bcf4f2254ef6a78eec0094f01602124 1982 science optional kissat_4.0.3-2.dsc c953232485b0dea3186ae986bab96fd0 4656 science optional kissat_4.0.3-2.debian.tar.xz 9a4bfb3cc794dc530400c7896c11fca6 6122 science optional kissat_4.0.3-2_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEE+Fg++qmpHzqjSzySzhGnsHs6uUYFAmjBjuMACgkQzhGnsHs6 uUZ4AA/9FRfnyfOnkewJt4BVhz0JnNvLKMpKVhlA9BWggo++Wkkoi8JWnR5DNc6I 1LnrZzB+W0QbPDNcKkABpphiHNvzshPaUPaFjmfgHvTayWRnpj3GuXysPQYFAxhB v/IFG0U5QejK59r92HXzxAPgU22nWxPoM4ScFqM0pWIgpMrJHNBJV15vdIQT0Bfc wgMYoFOF0MxIif82yml014bPO/9E2aMtmPXEDSqIrgjlA9MVmjvCeVR8PVzfXpfY ENvdOe6ISrkKunyoWIIVbm4qap4IKIMbE1HJ85ihm11exfmortsTU2BKldNqSDaU 5U/LpfqgymrufPdwRbADUYnVMSUzX7jT0f5WHS1UQMuB7ZNyX2EPJeyjYIdy5olq M4k0bf9KkjM+BE1nrq5Dpghg3tkQ6AMtSrxqHd700Ru6dMDOcBqNLbpQE37JzGUr l6UxiWnbcJsHtpZd3DKpugWGnVVwsqcwmW6soZzLzIFqdrUlk0xEdygJW9qAlsMT klUIxnceUU9hBEvmZxzYbFrma7T39baGEXtTLtvF0v7UbmhChFYi7HCHIFXxOZoq CHVRqSWzzWKyxdQGacjvdlMgU5z+Xoq111VSQeqNSKSy7jTlHUH6VTdwskL67AFg Ca7CDsVxmzFT5uV/ayUlYDTE/pDRvwClsg4TBKp3OhDxYBxIdU4= =vEYc -----END PGP SIGNATURE-----
Attachment:
pgpJJ_zUcJuQf.pgp
Description: PGP signature