Source package cbmc/6.6.0-4 in dawn @ pureos

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]
libmaven-resources-plugin-java [!arc !hppa !hurd-i386 !kfreebsd-amd64 !kfreebsd-i386 !loong64]
maven-debian-helper [!arc !hppa !hurd-i386 !kfreebsd-amd64 !kfreebsd-i386 !loong64]

Filename	Size	Checksum (SHA256)
cbmc_6.6.0-4.dsc	3.1 kB	`0ac2837abfe9d15970366babb83b6e37a375590915405c15d1d677eae8ded59e`
cbmc_6.6.0.orig-java-cprover-api.tar.gz	14.6 kB	`70863817bba398e8bb252c96ec1fbe35d20882f9061c920189893080f14646ab`
cbmc_6.6.0.orig-java-models-library.tar.gz	299.2 kB	`13eb3b8513de999d52eb071d7118b147f8511390c3cb30a6c3be29ada3b5b3c9`
cbmc_6.6.0.orig.tar.gz	9.1 MB	`86eb29e9cb1dd74fb82eec9ab32442a35449fd6db84a4824bfd834161e8d3a48`
cbmc_6.6.0-4.debian.tar.xz	16.5 kB	`c53e82d546c38ff4deafd12de72d2feab5c77ca46f54569717f41933ac0b486d`

Filename

Size

Checksum (SHA256)

3.1 kB

0ac2837abfe9d15970366babb83b6e37a375590915405c15d1d677eae8ded59e

14.6 kB

70863817bba398e8bb252c96ec1fbe35d20882f9061c920189893080f14646ab

299.2 kB

13eb3b8513de999d52eb071d7118b147f8511390c3cb30a6c3be29ada3b5b3c9