-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 18 Aug 2025 22:38:18 +0800 Source: kissat Architecture: source Version: 4.0.3-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.3-1) unstable; urgency=medium . * New upstream version 4.0.3. * d/control: bump std-ver to 4.7.2 (no changes required). Checksums-Sha1: b893e42a96752b82d11fc854337d31f56790f4f7 1982 kissat_4.0.3-1.dsc 92c7c9742f49aa1bcd60910acbeaffc532fec03f 531881 kissat_4.0.3.orig.tar.gz 220cf98eab1ac007ed37e6d040f0a85b437c723d 4592 kissat_4.0.3-1.debian.tar.xz 7dd2a5e99f5beef99e08af31a50f6fe19ac21706 6076 kissat_4.0.3-1_amd64.buildinfo Checksums-Sha256: aa6ffb57ce5de3b92ab4e2cfe4daba0ebfb330f7a6ece7b234bacb8f497c8baa 1982 kissat_4.0.3-1.dsc 53ad0c86a3854cdbf16e871599de4eaaaf33a039c1fd3460e43c89ae2a8a0971 531881 kissat_4.0.3.orig.tar.gz 80dcf278ca99414b1301d76fe0750afa06008cd9edc1d523dac727741e845e30 4592 kissat_4.0.3-1.debian.tar.xz d34458a89389c5f3e6262cf4406e4100e0e3e11eb5ca0ffc1bc1a721f622a908 6076 kissat_4.0.3-1_amd64.buildinfo Files: 7c68c1e524c8fe9000fdbb410444e5d1 1982 science optional kissat_4.0.3-1.dsc c0c02ea87caff7a3bde956b8f71405c7 531881 science optional kissat_4.0.3.orig.tar.gz 2e064c7a9d9afb7d7042c315921eb68f 4592 science optional kissat_4.0.3-1.debian.tar.xz 9c651eea39047b3969b20afe8dae0577 6076 science optional kissat_4.0.3-1_amd64.buildinfo -----BEGIN PGP SIGNATURE----- iQIzBAEBCgAdFiEE+Fg++qmpHzqjSzySzhGnsHs6uUYFAmijPWwACgkQzhGnsHs6 uUY5HhAAndB9TUDHWY0GjIVhyo7ct4jnAzOOJbRUIqrRG83TYHPR+v5xbquSYXA8 JSFjvQKo2N+81OkjUwFtdknQh/q0ntiD9EcLEt6p+W0AM/+S1j3yZKwmbOrLwVn+ Epi+D+zHrgRyF5qW0NddIh2URRGKY4irZEmt1r0OX5cAIMgqnHOUK60pNUjNmmg/ f6OW6qXnthw6lsPqgbYd7QEMu9NzIHF16UceMsn4TlGNiKKrS2u93xz+HrnRmww4 bp0bY51BVE2IIe4sW7bQaDGXvyHsa97pnQEl+x1dK28j/sBb2NZYshQlXd9zuxk7 r1zR6SiO+d2FAJqq2kKzJE85jjWn4YYWo9zg0IFsS9h6fw6NbKNZkZdYnCFuMQyl p9R5+2oYLTgP9bcA5R51ycjweAijK9juKrMEx3wl7vcl9Zg8qugaFHZ0ni9z2xUE Mf+hFOr/A5fLhDeFKgSLnd1mRV6N33enj9CTLiCQFMmXWWYubkbNXkOhCpS4c17/ Ci+cW6+8I3khcymR0yBBWqYkiR/OlJVje1ugiqJZPqxO4FyqHIbc1IadPgX7RmmC lguUZmWkvPea6/VyumNzIAZ2Ag3hCo5QejBCsCER7s+AytBvWEsG9aci3m7sG/Fb KloT0IThti1biF5Iej2br2oQOzX0O0ZriygbF6XmO2vqacWPETE= =DoDI -----END PGP SIGNATURE-----
Attachment:
pgp0dcvfit_1m.pgp
Description: PGP signature