Format: 3.0 (quilt)
Source: kissat
Binary: kissat
Architecture: any
Version: 4.0.2-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.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
Checksums-Sha1:
 05e01db814f26b9307423674928c39761631fdd4 531941 kissat_4.0.2.orig.tar.gz
 0c96f02df067056259ff4efd0d8b6c274da036ef 4536 kissat_4.0.2-1.debian.tar.xz
Checksums-Sha256:
 a8e58a70ebac09ccc0ba1465a69cfb9b31e562167d42df7535270d2733c386d7 531941 kissat_4.0.2.orig.tar.gz
 cc84639bb20796d9918fba6b51b5d49f3424820799fec2dd1259b99af85fb54e 4536 kissat_4.0.2-1.debian.tar.xz
Files:
 28113d8c449bd5247e18f13a79323320 531941 kissat_4.0.2.orig.tar.gz
 4b20867ae0c992785967c235226547f1 4536 kissat_4.0.2-1.debian.tar.xz