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

[ Source:  ]

debug symbols for cbmc

Інші пакунки пов'язані з cbmc-dbgsym

• dep: cbmc (= 5.95.1-4)

  bounded model checker for C and C++ programs

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

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

Архітектура	Розмір пакунка	Розмір після встановлення	Файли
hppa (unofficial port)	456,269.4 kB	464,565.0 kB	[список файлів]