原始碼套件：cbmc（5.95.1-6）
本原始碼套件構建了以下這些二進位制包：
其他與 cbmc 有關的套件
|
|
-
- adep: debhelper-compat (= 13)
- 套件暫時不可用
-
- adep: bison
- YACC-compatible parser generator
-
- adep: flex
- fast lexical analyzer generator
-
- adep: minisat (>= 1:2.2.1-2)
- Fast and lightweight SAT solver
-
- adep: zlib1g-dev
- compression library - development
-
- adep: gdb [amd64]
- GNU Debugger
同時作為一個虛擬套件由這些套件填實： gdb-minimal
-
- adep: libxml2-utils
- GNOME XML library - utilities
-
- adep: python-is-python3
- symlinks /usr/bin/python to python3
-
- adep: z3 [除 sh4]
- theorem prover from Microsoft Research
-
- adep: cvc5 [除 armel armhf hppa hurd-amd64 hurd-i386 i386 ia64 loong64 mips64el powerpc sh4 x32]
- automated theorem prover for SMT problems
-
- adep: default-jdk-headless [除 arc hppa hurd-i386 kfreebsd-amd64 kfreebsd-i386 loong64]
- Standard Java or Java compatible Development Kit (headless)
-
- adep: libmaven-dependency-plugin-java [除 arc hppa hurd-i386 kfreebsd-amd64 kfreebsd-i386 loong64]
- Maven Dependency Plugin
-
- adep: libmaven-install-plugin-java [除 arc hppa hurd-i386 kfreebsd-amd64 kfreebsd-i386 loong64]
- Maven install plugin
-
- adep: maven-debian-helper [除 arc hppa hurd-i386 kfreebsd-amd64 kfreebsd-i386 loong64]
- Helper tools for building Debian packages with Maven
Download cbmc
| 檔案 | 大小（單位：kB） | MD5 校驗碼 |
|---|---|---|
| cbmc_5.95.1-6.dsc | 3。0 kB | 38b0aa699ce955fa887607c49c02e268 |
| cbmc_5.95.1.orig-java-cprover-api.tar.gz | 14。2 kB | 245cc4a092fb84d4c8a1333c793f1adc |
| cbmc_5.95.1.orig-java-models-library.tar.gz | 292。2 kB | 6ba4b12d1ad0ee6f917128fa61df4015 |
| cbmc_5.95.1.orig.tar.gz | 8，860。8 kB | 05f0e4a4a3e7e2830c3be3b9398018de |
| cbmc_5.95.1-6.debian.tar.xz | 17。4 kB | fe1265686e57f7cce0b02e14e23b8382 |