Artifact kissat_4.0.1-1

dsc_fields:
  Architecture: any
  Binary: kissat
  Build-Depends: debhelper-compat (= 13), help2man
  Checksums-Sha1:
  - name: kissat_4.0.1.orig.tar.gz
    sha1: c8fa092932bb13304b6e3ca030ae00c2b26ec6a5
    size: '531537'
  - name: kissat_4.0.1-1.debian.tar.xz
    sha1: 27f2cb66e1901954cc0ddfa395409d9fbb54a6de
    size: '3308'
  Checksums-Sha256:
  - name: kissat_4.0.1.orig.tar.gz
    sha256: 4b41edf12ffa5f8e8b1986e5ad3e0bedb4d34b0ed3ecc7c13362bc7ba0aba66b
    size: '531537'
  - name: kissat_4.0.1-1.debian.tar.xz
    sha256: ed1e65082afb90d93ae58b50631e9e5a0e674919b4432359be0c7d31ea54434a
    size: '3308'
  Files:
  - md5sum: fcf566984441fe0703230b15e7d1bff2
    name: kissat_4.0.1.orig.tar.gz
    size: '531537'
  - md5sum: e621ca469066aa4d4b9d167c36f90b77
    name: kissat_4.0.1-1.debian.tar.xz
    size: '3308'
  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@'
  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-1
name: kissat
type: dpkg
version: 4.0.1-1