Source package cbmc/6.4.1-2 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]
maven-debian-helper [!arc !hppa !hurd-i386 !kfreebsd-amd64 !kfreebsd-i386 !loong64]

Filename	Size	Checksum (SHA256)
cbmc_6.4.1-2.dsc	3.0 kB	`f8333ad5a14214aa5688bdc9a4ba765b201d58287902c6de92f26aa5431a6321`
cbmc_6.4.1.orig-java-cprover-api.tar.gz	14.6 kB	`70863817bba398e8bb252c96ec1fbe35d20882f9061c920189893080f14646ab`
cbmc_6.4.1.orig-java-models-library.tar.gz	299.2 kB	`13eb3b8513de999d52eb071d7118b147f8511390c3cb30a6c3be29ada3b5b3c9`
cbmc_6.4.1.orig.tar.gz	9.1 MB	`09507765190bd14d07452b68003087160c80325b251a6f13d50845bb5f44ae7e`
cbmc_6.4.1-2.debian.tar.xz	18.3 kB	`2a65117974ce861e1cd94a47a6edade7d35998ec1106f044fd2a91e6df7bc937`

Filename

Size

Checksum (SHA256)

3.0 kB

f8333ad5a14214aa5688bdc9a4ba765b201d58287902c6de92f26aa5431a6321

14.6 kB

70863817bba398e8bb252c96ec1fbe35d20882f9061c920189893080f14646ab

299.2 kB

13eb3b8513de999d52eb071d7118b147f8511390c3cb30a6c3be29ada3b5b3c9