dsc_fields:
Architecture: any
Binary: cvc5, libcvc5-dev, libcvc5-1, libcvc5parser1
Build-Depends: antlr3, cmake, cxxtest, debhelper-compat (= 13), libantlr3c-dev,
libboost-thread-dev, libcadical-dev, libcln-dev, libcryptominisat5-dev, libgmp-dev,
libreadline-dev, libsymfpu-dev, pkg-config, python3, python3-toml
Checksums-Sha1:
- name: cvc5_1.0.3.orig.tar.gz
sha1: 8353c57af7cfb72056dae18e3b3284b2d88fc550
size: '8335175'
- name: cvc5_1.0.3-1.debian.tar.xz
sha1: 80029ea8d57f216b7b5dfe63c0df899e5a89d416
size: '5964'
Checksums-Sha256:
- name: cvc5_1.0.3.orig.tar.gz
sha256: bf787b74c35ef61958865902e21dcb8f98f79d910b00a9e762a00ff8fcd2c462
size: '8335175'
- name: cvc5_1.0.3-1.debian.tar.xz
sha256: cb2e46cad33dbe2c5c39d9806b667e1d81f5ba49388b818968b46d49d33cf319
size: '5964'
Files:
- md5sum: a5109967596dc8a8e0ac3a052535dd93
name: cvc5_1.0.3.orig.tar.gz
size: '8335175'
- md5sum: a24d0c2c511eb308cd17a1cc62f9561b
name: cvc5_1.0.3-1.debian.tar.xz
size: '5964'
Format: 3.0 (quilt)
Homepage: https://cvc5.github.io/
Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Package-List: |2-
cvc5 deb math optional arch=any
libcvc5-1 deb libs optional arch=any
libcvc5-dev deb libdevel optional arch=any
libcvc5parser1 deb libs optional arch=any
Source: cvc5
Standards-Version: 4.6.1
Testsuite: autopkgtest
Testsuite-Triggers: build-essential
Uploaders: Scott Talbert <swt@techie.net>
Vcs-Browser: https://salsa.debian.org/science-team/cvc5
Vcs-Git: https://salsa.debian.org/science-team/cvc5.git
Version: 1.0.3-1
name: cvc5
type: dpkg
version: 1.0.3-1