<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">-----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 &lt;debian-science-maintainers@alioth-lists.debian.net&gt;
Uploaders: Shengqi Chen &lt;harry-chen@outlook.com&gt;
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

</pre></body></html>
