-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 23 Mar 2026 10:32:54 +0100 Source: kissat Architecture: source Version: 4.0.4-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers <[email protected]> Changed-By: Alexandre Detiste <[email protected]> Changes: kissat (4.0.4-1) unstable; urgency=medium . * Team Upload * New upstream version 4.0.4 * Add debian/salsa-ci.yml * Drop "Rules-Requires-Root: no": it is now the default * Bump Standards-Version to 4.7.3, drop Priority: tag * Fix team email address Checksums-Sha1: cb7fcf4b1456cc3d0810bc4bbd8edd09d827c90c 2007 kissat_4.0.4-1.dsc 615227a78f01407b32fa64da4ac7f6d7c65baf46 532329 kissat_4.0.4.orig.tar.gz 57bf98bb310c22ccb2565fa21d92b18dfb0b8fa9 4776 kissat_4.0.4-1.debian.tar.xz 2afbe329630eeaa2f5317804258d92e97751310e 6145 kissat_4.0.4-1_source.buildinfo Checksums-Sha256: d2d1afbd50bc23354d53359517c77a3e47d45271153d8dd81ab2fb0255dc9a5e 2007 kissat_4.0.4-1.dsc bfe93eaa6323b48011e4b1fcf74b3f2e20f9de544767e728009e5b2018296193 532329 kissat_4.0.4.orig.tar.gz 214b75b84572137041c703f59a3a2e15a7cbfa579775417361f473413a9efc60 4776 kissat_4.0.4-1.debian.tar.xz 5406bbb0e8684816705f28dc93bc3806f551894a865eb26ac75bf1a2980d3dce 6145 kissat_4.0.4-1_source.buildinfo Files: 87dedc3e3ad63509c71df214e354004d 2007 science optional kissat_4.0.4-1.dsc 9ac5b5e73056e2cc0c7c5a1c0358c283 532329 science optional kissat_4.0.4.orig.tar.gz 90fbd45499633c515c0ba33ea0b7be24 4776 science optional kissat_4.0.4-1.debian.tar.xz 576e3cf873031283ccde3fd8cd48ed90 6145 science optional kissat_4.0.4-1_source.buildinfo
-----BEGIN PGP SIGNATURE----- iQJFBAEBCgAvFiEEj23hBDd/OxHnQXSHMfMURUShdBoFAmnBDzIRHHRjaGV0QGRl Ymlhbi5vcmcACgkQMfMURUShdBq78g/+M+oG/wm5upspKosBGxi6LfQ6liVeA4Qn ThZKiLjpA6zNrR+jonQ+/1spp4YB3D6dZDoL31gCyWqIXOF6ovtcnikss1F6URWO Np74LAW+S1003NHwnwZgRVlF0ubJJa3V8ccgjcqVGTGYGdzZE4+osW7D4QuzyFHX 7y18u0LdK2EI41vnLeJSdfCjxIobzcmrREAoPBMtnV+eyL0FczbeBGLXBL6vM8o5 qzJUj/TiBbiSd/FArNFCa60JXWFZcWB1Jf7dN2FAikfyVCjhvztnpAQg93gc+h/0 R2lzNVt7TCEXhkK9q62zfgu9wUEXLJ7dbbmasU0i0Km6UytjHEQ56NWDfM5bYZnN 5T6Ilr9ELbQRblwjoAEvFGi/+qFIF4K2xxQ3dEqLfDT8Zr/llKVYOJiFiy8fDImZ jfZOfs/tbYjsNMg0cfw/BMDGoJpgyi/BpL1S1tkLcM7v/qLm+hPZAJME8dm9myoD AiW3sMOexv88+ZwEuWgT7jZmTPZ5qBqTesrnZ68VhdnOg5L6tgKkw7O3esWI+N+2 R4ur6hSPY0ughCQTiY7zX946KEb8mo1aEFjaWSnPXHsHT406mECN2okt24W1sCHN qes4Ts3AB88E1s1/3Ql9bDN9MrWXJadp0bx004yMLewXOzPezpDJyHHG3oKiHbuQ zU4tndM4NZ4= =JWrg -----END PGP SIGNATURE-----
pgpTrflnUkMdQ.pgp
Description: PGP signature
