Artifact cvc5_1.1.2-2

Metadata
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

Files

Name Size (bytes)
cvc5_1.1.2-2.debian.tar.xz 7.2 KB
cvc5_1.1.2-2.dsc 2.4 KB
cvc5_1.1.2.orig.tar.gz 8.2 MB

source package System - - 6 months, 1 week ago 5 months, 1 week
BETA