Artifact cvc4_1.8-3

dsc_fields:
  Architecture: any
  Binary: cvc4, libcvc4-dev, libcvc4-7, libcvc4parser7
  Build-Depends: debhelper-compat (= 13), libgmp-dev, libcln-dev, antlr3, libantlr3c-dev,
    libboost-thread-dev, libreadline-dev, pkg-config, cxxtest, python3, python3-toml,
    cmake
  Checksums-Sha1:
  - name: cvc4_1.8.orig.tar.gz
    sha1: 4d8a91a2c666728199d2fc20772c919edbd448d0
    size: '7547187'
  - name: cvc4_1.8-3.debian.tar.xz
    sha1: 65d5a6a58c48952a5ab85d237fd97f3668debe61
    size: '16728'
  Checksums-Sha256:
  - name: cvc4_1.8.orig.tar.gz
    sha256: 27de80c14e1c5f9e2aa4ea75566fd0b7ff2093247516d725fa22c599a6b9bf37
    size: '7547187'
  - name: cvc4_1.8-3.debian.tar.xz
    sha256: 2352cb3bcf46a49d70fd3f5d46664a85810ed2f17fa12b6038e387ba34a426e2
    size: '16728'
  Files:
  - md5sum: 9f7657e21fec3c4042225b0b8f513c34
    name: cvc4_1.8.orig.tar.gz
    size: '7547187'
  - md5sum: 046098e2ea74c89f4bda2efad82b4af2
    name: cvc4_1.8-3.debian.tar.xz
    size: '16728'
  Format: 3.0 (quilt)
  Homepage: https://cvc4.github.io/
  Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
  Package-List: |2-

     cvc4 deb math optional arch=any
     libcvc4-7 deb libs optional arch=any
     libcvc4-dev deb libdevel optional arch=any
     libcvc4parser7 deb libs optional arch=any
  Source: cvc4
  Standards-Version: 4.5.0
  Testsuite: autopkgtest
  Testsuite-Triggers: build-essential
  Uploaders: Fabian Wolff <fabi.wolff@arcor.de>
  Vcs-Browser: https://salsa.debian.org/science-team/cvc4
  Vcs-Git: https://salsa.debian.org/science-team/cvc4.git
  Version: 1.8-3
name: cvc4
type: dpkg
version: 1.8-3