-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: kissat
Binary: kissat
Architecture: any
Version: 4.0.1-1
Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Uploaders: Shengqi Chen <harry-chen@outlook.com>
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), help2man
Package-List:
 kissat deb science optional arch=any
Checksums-Sha1:
 c8fa092932bb13304b6e3ca030ae00c2b26ec6a5 531537 kissat_4.0.1.orig.tar.gz
 27f2cb66e1901954cc0ddfa395409d9fbb54a6de 3308 kissat_4.0.1-1.debian.tar.xz
Checksums-Sha256:
 4b41edf12ffa5f8e8b1986e5ad3e0bedb4d34b0ed3ecc7c13362bc7ba0aba66b 531537 kissat_4.0.1.orig.tar.gz
 ed1e65082afb90d93ae58b50631e9e5a0e674919b4432359be0c7d31ea54434a 3308 kissat_4.0.1-1.debian.tar.xz
Files:
 fcf566984441fe0703230b15e7d1bff2 531537 kissat_4.0.1.orig.tar.gz
 e621ca469066aa4d4b9d167c36f90b77 3308 kissat_4.0.1-1.debian.tar.xz

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

iQEzBAEBCAAdFiEEBLHAyuu1xqoC2aJ5NP8o68vMTMgFAmcI44oACgkQNP8o68vM
TMg5PggAmVezVi7A75T0y1cZw9xedBg/ivqcriV9cfP67tX/xGNTHbcxgogjMisA
cety3CyvR1ZSMIFnq2DJySoX9CkgLMhD/tn3hjG2LGMPnk1/jKzlJt2hCmzz7cAn
A42UAwXMHkFSWQ0cB0apHXe6WzqDwooLQTKVuwssjpSjV87LEuhz4KxfhYtMpc1y
ZN/avmUoc0qyH8WioBbdunLixvsR3LLzVnfQ1/3twqwwjofs3h6MVpd6Za9YzTEd
1sc/5HZtT3lnM+ueZm8ou8x6XnkZt8mhoiTslPjmhJokqFP6De1zFqey5VU55fIC
2Fe92kTmjn6HbW5pUQO5aNDAUwnMaQ==
=IfXS
-----END PGP SIGNATURE-----