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

Format: 3.0 (quilt)
Source: kissat
Binary: kissat
Architecture: any
Version: 4.0.3-2
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
 592bd136707b792ad78c98fb72824b2905e4d174 4656 kissat_4.0.3-2.debian.tar.xz
Checksums-Sha256:
 53ad0c86a3854cdbf16e871599de4eaaaf33a039c1fd3460e43c89ae2a8a0971 531881 kissat_4.0.3.orig.tar.gz
 19f1cb824c399cd3b7b7c4ed60b324d76aae2c132ebd1d097577ebf9c23e966d 4656 kissat_4.0.3-2.debian.tar.xz
Files:
 c0c02ea87caff7a3bde956b8f71405c7 531881 kissat_4.0.3.orig.tar.gz
 c953232485b0dea3186ae986bab96fd0 4656 kissat_4.0.3-2.debian.tar.xz

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

iQIzBAEBCgAdFiEE+Fg++qmpHzqjSzySzhGnsHs6uUYFAmjBjuAACgkQzhGnsHs6
uUaGFhAAq7c6V1y0K2cIW0csiBhL1zg88+8tCrf11CzxJCF3GDroAQgVkzd/k99m
NyX4n408gC71/uv3YeU/bOn2YQzks2jaA6poCW+XwSwq9tRgLxc16KGXqrX2vfdx
I9vHYhHiEkCdGn2iHjjlK7OGiSS7XNaTSCgXX3Bkhl9qPeNeMVfO9PwbM+IVfZ0y
gcLaKeCrb3XwRetu48UFlx/muunYs0zC5OB95eNnKOKFHcErpzaA787HVUsAo0fW
s49CAXjAu2fY14COeRddzLx8/KqUxGrLDZZQrqDj0sbgh6L8EkTwkAOC6yIifaFe
wTF5veaF1ps+D41mr6bI0+r1LJKc6v+13NA+7bYgzxEBQpMVHdOgB3qGAmb6dE2N
un7IyPUBk4dpoQg72m3aCHUEMpyprtI7shUOuE1teNsn8PF2+06SqgxrdyNGlJ8g
1Ha7k10ccBOas2QKm58gSs9CyGkh+1ErgB/0+cSU7D3OPSV7B17QyUz3QdTE4lsg
I1MavY11lpI04ssX5PKf4hhRRCkJ5vhKi7onk0/naLoy1HeOAeaWWWHKRDQj4FKI
5gQQrDorOuytd0Jvj6fZ+EDAyy3sJhZxTgSHMoZTtJH3AYPWaRbOOSXUo5yVt9LQ
B5bWNJm+6Nw5DTaBsKtd5AMff7lMsqElTZJ5RrAMGJCijQg4mTc=
=6w/E
-----END PGP SIGNATURE-----