-----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 Uploaders: Shengqi Chen 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 , 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-----