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