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

Format: 3.0 (quilt)
Source: kissat
Binary: kissat
Architecture: any
Version: 4.0.1-3
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), drat-trim, help2man
Package-List:
 kissat deb science optional arch=any
Checksums-Sha1:
 c8fa092932bb13304b6e3ca030ae00c2b26ec6a5 531537 kissat_4.0.1.orig.tar.gz
 2f1fd6efc228401f683851309b0ef27d99214ddb 4488 kissat_4.0.1-3.debian.tar.xz
Checksums-Sha256:
 4b41edf12ffa5f8e8b1986e5ad3e0bedb4d34b0ed3ecc7c13362bc7ba0aba66b 531537 kissat_4.0.1.orig.tar.gz
 12e3432e15fb4f108fffbdaf820361967718efbc72673e53ff08409ced781c85 4488 kissat_4.0.1-3.debian.tar.xz
Files:
 fcf566984441fe0703230b15e7d1bff2 531537 kissat_4.0.1.orig.tar.gz
 dc1fc858d13b8cb933743e1a3832f19e 4488 kissat_4.0.1-3.debian.tar.xz

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

iQFLBAEBCgA1FiEEj6l3eq8YAbiQe3eGbuOJwPGK93QFAmcOcngXHGhhcnJ5LWNo
ZW5Ab3V0bG9vay5jb20ACgkQbuOJwPGK93QtYQf+If7qWNZ79Wx8DhL/9ouk7kXU
AJTsRlppPyvzv+kFfFlGWWNSlOGK8zGxeePUB4NI1eKGG/BD1RYHe6v/qWaT+PTr
l1x3+GzvbXuBHoTDr7wdOzxVMKA2CJ7ISEGqnCVj7k4T9NFuuMIgTeRO9oN08xO4
EdBTbb6yhmzg/Ip1zFoGrUJk84wDjK+dNh7Qo+HibKImSHYoB0VT2UBNWtIXpDSq
mqsnGvjle41d5Fq+Sy+MBrsn5nKdZ//Y6hVywwKAB7l1SL9Hv/259EAdYj80d45h
qUUBdJUCnIsJ88d1mGjM2u2qPJuePaI5gDfjeYENS96CnH5qole0qOZe0BZe9A==
=9vEZ
-----END PGP SIGNATURE-----