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

Format: 3.0 (quilt)
Source: kissat
Binary: kissat
Architecture: any
Version: 4.0.4-1
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Shengqi Chen <harry@debian.org>
Homepage: https://fmv.jku.at/kissat/
Standards-Version: 4.7.3
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 <!nocheck>, help2man
Package-List:
 kissat deb science optional arch=any
Checksums-Sha1:
 615227a78f01407b32fa64da4ac7f6d7c65baf46 532329 kissat_4.0.4.orig.tar.gz
 57bf98bb310c22ccb2565fa21d92b18dfb0b8fa9 4776 kissat_4.0.4-1.debian.tar.xz
Checksums-Sha256:
 bfe93eaa6323b48011e4b1fcf74b3f2e20f9de544767e728009e5b2018296193 532329 kissat_4.0.4.orig.tar.gz
 214b75b84572137041c703f59a3a2e15a7cbfa579775417361f473413a9efc60 4776 kissat_4.0.4-1.debian.tar.xz
Files:
 9ac5b5e73056e2cc0c7c5a1c0358c283 532329 kissat_4.0.4.orig.tar.gz
 90fbd45499633c515c0ba33ea0b7be24 4776 kissat_4.0.4-1.debian.tar.xz

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

iQJFBAEBCgAvFiEEj23hBDd/OxHnQXSHMfMURUShdBoFAmnBDzIRHHRjaGV0QGRl
Ymlhbi5vcmcACgkQMfMURUShdBpLYg//dZPfjsg6bdnXG+zNdYyBXScJeNyTjbzD
RBXcnRXHldcYxO5kZCAdOGF5w4qwYS+usNQcX64zT70bqXNBlW9dCEee470k0yjd
79a4/sdQc9BZDaeN50Cfuij8tHDPe3HYzKtrfR0u9tGHhq81BwXuLPjFy5ahymHn
KLTRqdKIs+Km5mMofZUVPInYycZbt754lu3aUrGJ0Gy80H2an69M4cKl0IXIHCVx
5488Wlw069Mk4tM/j0lOCUu1jvImLjug3YtabxwEyMZSj5SwjacxEnhutNxbnO2I
DA5Y8J461zRf7BNJZME3oG1pNYUNDfdZ4ZPEGRwof5quVSJa9ivmo53Vw5RNA7Cv
cHBhOyElbklFPX6WibQK9d7LtooivMoVlZkgSUvbm/GrbIOJbuCMnh3jb+GIqLD/
T2K+D2DVY8ZrbsWe6y2Nd55Kgmm7qX67GREZ+UPbx8hmJXQv48/OlsrmJw+izZWp
oNMuFcIS63MhprtcFnYsA3UHAMh0Yo1VL08+BBALX3sZlPj0LT7QSeB4WaxOqb52
IABqAA26naC/OywcvuVtlCFdggpqPFbOAWwM0mDUNkjIUSmPKemDk9AsErkMbmAz
w473LjUux0sxQllvfyyMPt660qy4Ovjysavrb1EUl+A365//1vf9fV0vbFBkZBqq
qpTYWqC4ZHY=
=aIL4
-----END PGP SIGNATURE-----