dsc_fields:
Architecture: any
Binary: cvc5, libcvc5-dev, libcvc5-1, libcvc5parser1, python3-cvc5
Build-Depends: chrpath, cmake, cxxtest, cython3, debhelper-compat (= 13), dh-sequence-python3,
libboost-thread-dev, libcadical-dev, libcln-dev, libcryptominisat5-dev, libfl-dev,
libgmp-dev, libreadline-dev, libsymfpu-dev, pkgconf, python3, python3-dev, python3-pyparsing,
python3-pytest, python3-setuptools, python3-skbuild, python3-toml
Checksums-Sha1:
- name: cvc5_1.1.2.orig.tar.gz
sha1: 3bf478e692f6d1861c9d99a81967c89857e71df2
size: '8581968'
- name: cvc5_1.1.2-2.debian.tar.xz
sha1: 3cd5c3e0f9d3440e035804f1df474209df788451
size: '7396'
Checksums-Sha256:
- name: cvc5_1.1.2.orig.tar.gz
sha256: f2eba3f957f5e064e6a87f0dce88fd647932d02014061c8f6a79bf188203993a
size: '8581968'
- name: cvc5_1.1.2-2.debian.tar.xz
sha256: d222819780d8afd7146a533316277f2e0c92b618de69114b9498584b36af838f
size: '7396'
Files:
- md5sum: 5ba472c11efbbe067a2b2209c2e59aed
name: cvc5_1.1.2.orig.tar.gz
size: '8581968'
- md5sum: 1283632c1cc35bd3910e8424012429a6
name: cvc5_1.1.2-2.debian.tar.xz
size: '7396'
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
python3-cvc5 deb python optional arch=any
Source: cvc5
Standards-Version: 4.6.2
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.1.2-2
name: cvc5
type: dpkg
version: 1.1.2-2