Пакет: cbmc-dbgsym (5.95.1-4 и други) [debports]

Връзки за cbmc-dbgsym

Няма съвпадения

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

bounded model checker for C and C++ programs

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

Изтегляне за всички налични архитектури
Архитектура	Версия	Големина на пакета	Големина след инсталиране	Файлове
alpha (неофициална архитектура)	5.95.1-4	580 269,0 кБ	588 767,0 кБ	[списък на файловете]
hppa (неофициална архитектура)	5.95.1-4	456 269,4 кБ	464 565,0 кБ	[списък на файловете]
ia64 (неофициална архитектура)	5.95.1-4	535 843,4 кБ	543 834,0 кБ	[списък на файловете]
m68k (неофициална архитектура)	5.95.1-4	412 466,4 кБ	420 141,0 кБ	[списък на файловете]
ppc64 (неофициална архитектура)	5.95.1-4	466 526,2 кБ	475 229,0 кБ	[списък на файловете]
riscv64 (неофициална архитектура)	5.84.0-11	423 973,2 кБ	433 127,0 кБ	[списък на файловете]
sh4 (неофициална архитектура)	5.95.1-4	330 131,1 кБ	336 873,0 кБ	[списък на файловете]
sparc64 (неофициална архитектура)	5.95.1-4	553 622,6 кБ	563 134,0 кБ	[списък на файловете]
x32 (неофициална архитектура)	5.95.1-4	574 298,5 кБ	584 154,0 кБ	[списък на файловете]