Artifact kissat_4.0.1-2

dsc_fields:
  Architecture: any
  Binary: kissat
  Build-Depends: debhelper-compat (= 13), drat-trim, help2man
  Checksums-Sha1:
  - name: kissat_4.0.1.orig.tar.gz
    sha1: c8fa092932bb13304b6e3ca030ae00c2b26ec6a5
    size: '531537'
  - name: kissat_4.0.1-2.debian.tar.xz
    sha1: 716f00058e98313a75e491abb2bfcb3c2f685d06
    size: '4180'
  Checksums-Sha256:
  - name: kissat_4.0.1.orig.tar.gz
    sha256: 4b41edf12ffa5f8e8b1986e5ad3e0bedb4d34b0ed3ecc7c13362bc7ba0aba66b
    size: '531537'
  - name: kissat_4.0.1-2.debian.tar.xz
    sha256: 11a9605cd4042789f3b3f0af4179786edef78a94fbcbafaebafd6c2cb0d44345
    size: '4180'
  Files:
  - md5sum: fcf566984441fe0703230b15e7d1bff2
    name: kissat_4.0.1.orig.tar.gz
    size: '531537'
  - md5sum: 9827b387eb2fb714a6b6277585b8de64
    name: kissat_4.0.1-2.debian.tar.xz
    size: '4180'
  Format: 3.0 (quilt)
  Homepage: https://fmv.jku.at/kissat/
  Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
  Package-List: |2-

     kissat deb science optional arch=any
  Source: kissat
  Standards-Version: 4.7.0
  Testsuite: autopkgtest
  Testsuite-Triggers: '@builddeps@, architecture-is-64-bit'
  Uploaders: Shengqi Chen <harry-chen@outlook.com>
  Vcs-Browser: https://salsa.debian.org/science-team/kissat
  Vcs-Git: https://salsa.debian.org/science-team/kissat.git
  Version: 4.0.1-2
name: kissat
type: dpkg
version: 4.0.1-2