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

Format: 3.0 (quilt)
Source: kissat
Binary: kissat
Architecture: any
Version: 4.0.1-2
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@, architecture-is-64-bit
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
 716f00058e98313a75e491abb2bfcb3c2f685d06 4180 kissat_4.0.1-2.debian.tar.xz
Checksums-Sha256:
 4b41edf12ffa5f8e8b1986e5ad3e0bedb4d34b0ed3ecc7c13362bc7ba0aba66b 531537 kissat_4.0.1.orig.tar.gz
 11a9605cd4042789f3b3f0af4179786edef78a94fbcbafaebafd6c2cb0d44345 4180 kissat_4.0.1-2.debian.tar.xz
Files:
 fcf566984441fe0703230b15e7d1bff2 531537 kissat_4.0.1.orig.tar.gz
 9827b387eb2fb714a6b6277585b8de64 4180 kissat_4.0.1-2.debian.tar.xz

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

iQEzBAEBCAAdFiEEBLHAyuu1xqoC2aJ5NP8o68vMTMgFAmcNGrAACgkQNP8o68vM
TMiEwAf+LaTslpuBtmlgVXECpZKs75SorkwqsFQeSpNtDMIL9mDC2UyQvT8KVxon
MYhXwiD+qa5wSEsRaqi9pk/bcIgei2UDSNhRgRRx24dgFOyZkaZcmeUGKsF0opHd
UT7xevRw2Is60Lc9lBs/Lj6gvDoWgRCUh7PR5AfFz7T/tCOwIzTL9tyC8xmKclON
tkrgk2O3pfptYBl8prWz9InmO2Zlud4Etb1LBeSp1Cl1jExk/4ovEXxHp4UmjVaR
u2buw3PnRr3J5I+B7OeAf25su/6jlR9O23lT/kII6paWB/n0BTgLdBwGHOhsi+Kw
RZVu5manOpZiqFYutbh/ezIQnKMDcw==
=E5Xw
-----END PGP SIGNATURE-----