软件包：cbmc-dbgsym（5.95.1-4 以及其他的） [debports]

[ 源代码：  ]

debug symbols for cbmc

其他与 cbmc-dbgsym 有关的软件包

• dep: cbmc (= 5.84.0-11) [riscv64]

  bounded model checker for C and C++ programs

  dep: cbmc (= 5.95.1-4) [除 riscv64]

下载 cbmc-dbgsym

下载可用于所有硬件架构的

硬件架构	版本	软件包大小	安装后大小	文件
alpha （非官方移植版）	5.95.1-4	580,269.0 kB	588,767.0 kB	[文件列表]
hppa （非官方移植版）	5.95.1-4	456,269.4 kB	464,565.0 kB	[文件列表]
ia64 （非官方移植版）	5.95.1-4	535,843.4 kB	543,834.0 kB	[文件列表]
m68k （非官方移植版）	5.95.1-4	412,466.4 kB	420,141.0 kB	[文件列表]
ppc64 （非官方移植版）	5.95.1-4	466,526.2 kB	475,229.0 kB	[文件列表]
riscv64 （非官方移植版）	5.84.0-11	423,973.2 kB	433,127.0 kB	[文件列表]
sh4 （非官方移植版）	5.95.1-4	330,131.1 kB	336,873.0 kB	[文件列表]
sparc64 （非官方移植版）	5.95.1-4	553,622.6 kB	563,134.0 kB	[文件列表]
x32 （非官方移植版）	5.95.1-4	574,298.5 kB	584,154.0 kB	[文件列表]