Artifact kissat_4.0.1-3

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-3.debian.tar.xz
    sha1: 2f1fd6efc228401f683851309b0ef27d99214ddb
    size: '4488'
  Checksums-Sha256:
  - name: kissat_4.0.1.orig.tar.gz
    sha256: 4b41edf12ffa5f8e8b1986e5ad3e0bedb4d34b0ed3ecc7c13362bc7ba0aba66b
    size: '531537'
  - name: kissat_4.0.1-3.debian.tar.xz
    sha256: 12e3432e15fb4f108fffbdaf820361967718efbc72673e53ff08409ced781c85
    size: '4488'
  Files:
  - md5sum: fcf566984441fe0703230b15e7d1bff2
    name: kissat_4.0.1.orig.tar.gz
    size: '531537'
  - md5sum: dc1fc858d13b8cb933743e1a3832f19e
    name: kissat_4.0.1-3.debian.tar.xz
    size: '4488'
  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-3
name: kissat
type: dpkg
version: 4.0.1-3