-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: kissat
Binary: kissat
Architecture: any
Version: 4.0.2-1
Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Uploaders: Shengqi Chen <harry@debian.org>
Homepage: https://fmv.jku.at/kissat/
Standards-Version: 4.7.0
Vcs-Browser: https://salsa.debian.org/science-team/kissat
Vcs-Git: https://salsa.debian.org/science-team/kissat.git
Testsuite: autopkgtest
Testsuite-Triggers: @builddeps@
Build-Depends: debhelper-compat (= 13), drat-trim, help2man
Package-List:
 kissat deb science optional arch=any
Checksums-Sha1:
 05e01db814f26b9307423674928c39761631fdd4 531941 kissat_4.0.2.orig.tar.gz
 e163c8dcbd118dc5fa3d40f4a9caf36ff448f6b3 4540 kissat_4.0.2-1.debian.tar.xz
Checksums-Sha256:
 a8e58a70ebac09ccc0ba1465a69cfb9b31e562167d42df7535270d2733c386d7 531941 kissat_4.0.2.orig.tar.gz
 cde8b56254707714d03413f6dcd5b4f64afaf519287a5db5b9b55571800c66ec 4540 kissat_4.0.2-1.debian.tar.xz
Files:
 28113d8c449bd5247e18f13a79323320 531941 kissat_4.0.2.orig.tar.gz
 e116e9e7840dde65dc4b353fbb7a97ed 4540 kissat_4.0.2-1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEE+Fg++qmpHzqjSzySzhGnsHs6uUYFAmeZExQACgkQzhGnsHs6
uUbKHw//VNQAX8zKgXGkDdRaYUQ7WNK7dpooOLcEclJspPKuHxTXVLgjjKz0y1iS
0152tGb6h9vPnNlGY//SdikL5nvrCbUAdgIfDzbKw8CmdZrPpklSC+tOqrT0yS1v
9UynJgDrVltk+GRUIIb9jx5ydth6AeK0wJx++xDh3Walq2IA1KHj4HvhtFnKjLOt
aoW4evTiPbdFYU5ZOjj5Sqt7+CN8tHOrzdgVw39AX1HQY2d7Zgr5Ks+PbbFnHVEg
2MnftrI7sX6gquQypmAQRhvPBYn7ohLYI+knt/tV/GxKfw6YFhiWITCAt6rK+jNt
asJwrDJwBlCorbUQjbRpjHJ8dFyZ3VHSuAzfl5I1JtB0ePK5unNQO49rQeHRG395
+701SP/e8wdXPO/WwugK/MSyhv5gFGz9/JqfwjyM6g9ki69poZKtWOrNp4eY5XcI
3YnGv5LuNRrql5cbUYblSOWgjEn0vyjHytd0st6eWGDH4D9TNXvm/dT4JL7bdIIi
0Bs85ZQ1LM7yh1GfHSJAdtlJH8NuKBeum1FHmYWV2OOLMaX5Xs0NpmYqQC+ejncB
Fo68q2aQUPERl/MdvqTrWchZPOLMnM6H4tmY/hToNUtOsADrSPAs7ZVSFDgU3rz4
xiWQcwicCRGlcO0NwarDVk//CCOEusenZUBGVYHFM8tDy3iips4=
=Qqzz
-----END PGP SIGNATURE-----