Пакунок: cbmc-dbgsym (5.95.1-5 and others) [debports]

[ Source:  ]

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) [alpha, hppa, ia64, x32]

  dep: cbmc (= 5.95.1-5) [m68k, ppc64, sh4, sparc64]

Завантажити cbmc-dbgsym

Завантаження для всіх доступних архітектур

Архітектура	Версія	Розмір пакунка	Розмір після встановлення	Файли
alpha (unofficial port)	5.95.1-4	580,269.0 kB	588,767.0 kB	[список файлів]
hppa (unofficial port)	5.95.1-4	456,269.4 kB	464,565.0 kB	[список файлів]
ia64 (unofficial port)	5.95.1-4	535,843.4 kB	543,834.0 kB	[список файлів]
m68k (unofficial port)	5.95.1-5	412,255.2 kB	419,911.0 kB	[список файлів]
ppc64 (unofficial port)	5.95.1-5	466,597.7 kB	475,277.0 kB	[список файлів]
riscv64 (unofficial port)	5.84.0-11	423,973.2 kB	433,127.0 kB	[список файлів]
sh4 (unofficial port)	5.95.1-5	330,155.6 kB	336,874.0 kB	[список файлів]
sparc64 (unofficial port)	5.95.1-5	553,633.5 kB	563,136.0 kB	[список файлів]
x32 (unofficial port)	5.95.1-4	574,298.5 kB	584,154.0 kB	[список файлів]