Source package cbmc/6.1.1-2 in landing @ pureos

cbmc - 6.1.1-2 main

Versions in landing: 6.1.1-2
Maintainer: Michael Tautschnig <mt [꩜] debian.org>

Format: 3.0 (quilt)
Standards Version: 4.7.0
Architectures: any

This package may currently be unbuildable on the following architectures:

arm64
amd64

Homepage Build Jobs

Owned Binaries

jbmc amd64 arm64
cbmc amd64 arm64

Build Dependencies

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]

Files

Filename	Size	Checksum (SHA256)
cbmc_6.1.1-2.dsc	3.0 kB	`afc6736f81827deeab763868e2a036f0db755b2792803c297b338937dc744979`
cbmc_6.1.1.orig-java-cprover-api.tar.gz	14.6 kB	`70863817bba398e8bb252c96ec1fbe35d20882f9061c920189893080f14646ab`
cbmc_6.1.1.orig-java-models-library.tar.gz	299.2 kB	`13eb3b8513de999d52eb071d7118b147f8511390c3cb30a6c3be29ada3b5b3c9`
cbmc_6.1.1.orig.tar.gz	9.1 MB	`aec0f781ec4c3b1ebb7ae1a2bb4b4484ee04b33f9a7c66cb913af97dbeb87801`
cbmc_6.1.1-2.debian.tar.xz	17.9 kB	`031dc9d3c707ca63c26ae2f276145424636a9b96e08684377a730574ce2bcd75`