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

Format: 3.0 (quilt)
Source: kissat
Binary: kissat
Architecture: any
Version: 4.0.3-1
Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Uploaders: Shengqi Chen <harry@debian.org>
Homepage: https://fmv.jku.at/kissat/
Standards-Version: 4.7.2
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:
 92c7c9742f49aa1bcd60910acbeaffc532fec03f 531881 kissat_4.0.3.orig.tar.gz
 220cf98eab1ac007ed37e6d040f0a85b437c723d 4592 kissat_4.0.3-1.debian.tar.xz
Checksums-Sha256:
 53ad0c86a3854cdbf16e871599de4eaaaf33a039c1fd3460e43c89ae2a8a0971 531881 kissat_4.0.3.orig.tar.gz
 80dcf278ca99414b1301d76fe0750afa06008cd9edc1d523dac727741e845e30 4592 kissat_4.0.3-1.debian.tar.xz
Files:
 c0c02ea87caff7a3bde956b8f71405c7 531881 kissat_4.0.3.orig.tar.gz
 2e064c7a9d9afb7d7042c315921eb68f 4592 kissat_4.0.3-1.debian.tar.xz

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

iQIzBAEBCgAdFiEE+Fg++qmpHzqjSzySzhGnsHs6uUYFAmijPWgACgkQzhGnsHs6
uUYW3w/8CzApAdQh4zwmYje7TGJaisakvhTCyzf+FHP/R770wY2jbGVdoBBVB3wO
cELN9icBQ5lXSvhM0R5o8q+mbbp/AJ/uiZh/67JuGYq4XDbjSJ/emfn9Htnxv1Jt
ddHBfIIrMaWvC8b5SFRryyV/H8cUYLyCVvY2P/5krHaMg1iuEz9+Ai6Ia2QZ3QGf
Q1YBHaLC+3rT4XeF/hrpYa0mXrySmZ3Hv8M6Wu+Y+NUFFUQDCLKLmQ/9yEdiUKHg
Rq38u6DzTSefQMtjhLUBe04Gk+7Tj96UOFlM8WyXRX+GMGriNnVeJO+nzArPdCRN
NBm4/yEA58xRTQBQn70qtpD9TwWDXM1PjSatVviYIgX/c2nXz9DsvLrHwC8E/LVj
PThDolQXGQFPmrT7uMZKv6eKgbQkhrHkiXmp4GCkFarwERbYmNtxe+QMHa4Yskez
Z3cScRuYIjLpSBq7aurxngVbsRFNZnnnZjvNDsCzlcnoxRGDBfaVLWIm81Exru8G
lKbbUOBcf//IyUCPFWR1i6RHAzMQjQ+SNVOadQw5PQI+ouThhrD3nKsVKqEAJbsK
KaU0hKeWYkudXkFgdB287v+d1wG1O6o4Xd6OM4StEFUEpPY6ET04pGztYuvvmpiH
w8bgNwOrp1820SB3b0YjiYUyn6CBzuWhUIieWZVbip7XfgJSrA8=
=isAe
-----END PGP SIGNATURE-----