dsc_fields:
Architecture: any
Binary: cbmc, jbmc
Build-Depends: debhelper-compat (= 13), bison, flex, minisat (>= 1:2.2.1-2), zlib1g-dev,
gdb [amd64], libxml2-utils, python-is-python3, z3 [!sh4], cvc5 [!armel !armhf
!i386 !mips64el !hppa !hurd-amd64 !hurd-i386 !ia64 !loong64 !powerpc !sh4 !x32],
default-jdk-headless [!arc !hppa !hurd-i386 !kfreebsd-amd64 !kfreebsd-i386 !loong64],
libmaven-dependency-plugin-java [!arc !hppa !hurd-i386 !kfreebsd-amd64 !kfreebsd-i386
!loong64], libmaven-install-plugin-java [!arc !hppa !hurd-i386 !kfreebsd-amd64
!kfreebsd-i386 !loong64], maven-debian-helper [!arc !hppa !hurd-i386 !kfreebsd-amd64
!kfreebsd-i386 !loong64]
Checksums-Sha1:
- name: cbmc_6.1.1.orig-java-cprover-api.tar.gz
sha1: 18f8cbbe349484a1adf2b8e4cf3a1b4822b97d31
size: '14582'
- name: cbmc_6.1.1.orig-java-models-library.tar.gz
sha1: ca108e17fc68557cce10a6d5d9d84ab39395d2d6
size: '299209'
- name: cbmc_6.1.1.orig.tar.gz
sha1: cde78b4c4f59cc8721c7828fb0db33b6e11fb336
size: '9114649'
- name: cbmc_6.1.1-2.debian.tar.xz
sha1: 11cdec458caf2861574f20e3a7347094958589c3
size: '17932'
Checksums-Sha256:
- name: cbmc_6.1.1.orig-java-cprover-api.tar.gz
sha256: 70863817bba398e8bb252c96ec1fbe35d20882f9061c920189893080f14646ab
size: '14582'
- name: cbmc_6.1.1.orig-java-models-library.tar.gz
sha256: 13eb3b8513de999d52eb071d7118b147f8511390c3cb30a6c3be29ada3b5b3c9
size: '299209'
- name: cbmc_6.1.1.orig.tar.gz
sha256: aec0f781ec4c3b1ebb7ae1a2bb4b4484ee04b33f9a7c66cb913af97dbeb87801
size: '9114649'
- name: cbmc_6.1.1-2.debian.tar.xz
sha256: 031dc9d3c707ca63c26ae2f276145424636a9b96e08684377a730574ce2bcd75
size: '17932'
Files:
- md5sum: 245cc4a092fb84d4c8a1333c793f1adc
name: cbmc_6.1.1.orig-java-cprover-api.tar.gz
size: '14582'
- md5sum: 6ba4b12d1ad0ee6f917128fa61df4015
name: cbmc_6.1.1.orig-java-models-library.tar.gz
size: '299209'
- md5sum: 000c8d5c62a91c8bdd6aaefe7a74e147
name: cbmc_6.1.1.orig.tar.gz
size: '9114649'
- md5sum: e818cd1238c61d87c7bedca9e16ecfa2
name: cbmc_6.1.1-2.debian.tar.xz
size: '17932'
Format: 3.0 (quilt)
Homepage: http://www.cprover.org/cbmc/
Maintainer: Michael Tautschnig <mt@debian.org>
Package-List: |2-
cbmc deb science optional arch=any
jbmc deb science optional arch=alpha,amd64,arm64,armel,armhf,i386,ia64,m68k,mips64el,mipsel,powerpc,ppc64,ppc64el,riscv64,s390x,sh4,sparc64,x32
Source: cbmc
Standards-Version: 4.7.0
Testsuite: autopkgtest
Testsuite-Triggers: libc6-dev
Version: 6.1.1-2
name: cbmc
type: dpkg
version: 6.1.1-2