[ sid ]

[ Източник: ]

Пакет: cbmc-dbgsym (6.1.1-2) [debports]

Връзки за cbmc-dbgsym

Ресурси за Debian:

Доклади за грешки

Изтегляне на пакет-източник .

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

Отговорници:

Подобни пакети:

debug symbols for cbmc

Други пакети, свързани с cbmc-dbgsym

зависимости

препоръчани

предложени

enhances

dep: cbmc (= 6.1.1-2)

bounded model checker for C and C++ programs

Изтегляне на cbmc-dbgsym

Изтегляне за всички налични архитектури
Архитектура	Големина на пакета	Големина след инсталиране	Файлове
m68k (неофициална архитектура)	422 231,8 кБ	430 165,0 кБ	[списък на файловете]