-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 29 Jan 2025 01:24:31 +0800 Source: kissat Architecture: source Version: 4.0.2-1 Distribution: unstable Urgency: medium Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net> Changed-By: Shengqi Chen <harry@debian.org> Changes: kissat (4.0.2-1) unstable; urgency=medium . * New upstream version 4.0.2 * d/control: use my debian.org email Checksums-Sha1: d37c2f75b102f961de2e6bb058b2d656aa5389a4 1971 kissat_4.0.2-1.dsc 05e01db814f26b9307423674928c39761631fdd4 531941 kissat_4.0.2.orig.tar.gz e163c8dcbd118dc5fa3d40f4a9caf36ff448f6b3 4540 kissat_4.0.2-1.debian.tar.xz 7b6298735bbcb1bd3d8dd0a312d33375172a43f3 6174 kissat_4.0.2-1_amd64.buildinfo Checksums-Sha256: e5b56c6c8e4de0a4540ad78956313f290740b353d3c235653dd13fe09674047b 1971 kissat_4.0.2-1.dsc a8e58a70ebac09ccc0ba1465a69cfb9b31e562167d42df7535270d2733c386d7 531941 kissat_4.0.2.orig.tar.gz cde8b56254707714d03413f6dcd5b4f64afaf519287a5db5b9b55571800c66ec 4540 kissat_4.0.2-1.debian.tar.xz a913f15cad0ada175dac60d9ed4197206274daa91a7ed4d16544d53728163b91 6174 kissat_4.0.2-1_amd64.buildinfo Files: a377da95e56618601a81d148f3c02369 1971 science optional kissat_4.0.2-1.dsc 28113d8c449bd5247e18f13a79323320 531941 science optional kissat_4.0.2.orig.tar.gz e116e9e7840dde65dc4b353fbb7a97ed 4540 science optional kissat_4.0.2-1.debian.tar.xz 3c4b72f235822a0ca29cd236008f3840 6174 science optional kissat_4.0.2-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEE+Fg++qmpHzqjSzySzhGnsHs6uUYFAmeZExUACgkQzhGnsHs6 uUay4hAAujxYf1mcsv4TjjwATzKgKJOc6SaspBoOYyHBBF640FIXzD3z1WG/iEhn 33zkuDZtuxlkN6TTcN0dyWOcWG/a/mlmI+nyn5zeKJGkJAMVGyui1n8kOajG23jd iIljiIAn0Tmi3R4YGDgRpf8pHAgmgdi3YKtQqfH01NzUm36g9sMGyiemjL22AvNt JKsEmtBBd45nO9K1pEY+domhsFfBEfKHswvMT3WOvdjGP1uRLxd/UqAOsFEW45Lu BXQM+1N7G6NEi4W0mr2P1zhpI0drQNTP9E1WsSfUVAv411m6IrMQaPOyLFKexg7O dnJ8yBq2bNFtl0YkkPIpy0aQOyPKHzdXRRxN+j7ht7nc8utBpOXL0HVSJmSzfsb2 IUuwbh8sTDRQSUtLBUQKkt+XY6NOOPQ9Aq+esY/WxPyrtGw5U8ds5HkobRdUQApy dBUQjjCEIy6pKnUP/mTNW6qM6SHTnI7CRhH/hz+CPVPk/TP2ZcyXrAquzG/vs5gU g9jcIvaOFZj368hs0rmDghaJwTyAf4eTZTKApIKIVcRm1E78rZB30dRZolznMh21 bqki8TZ0W4gJbsOJoMfmHM3zDxHXXxqo52xSyp0iXgauEiAxSCKBMwsaCo6Qi2RI Q9TEOAU0/InfPgIstI49wMZJ/7GBuXDirZrMFFE5uMKWRaBabpw= =F0Ux -----END PGP SIGNATURE-----
