Пакет: cbmc-dbgsym (5.95.1-4) [debports]

[ Источник:  ]

debug symbols for cbmc

Другие пакеты, относящиеся к cbmc-dbgsym

• dep: cbmc (= 5.95.1-4)

  bounded model checker for C and C++ programs

Загрузка cbmc-dbgsym

Загрузить для всех доступных архитектур

Архитектура	Размер пакета	В установленном виде	Файлы
x32 (неофициальный перенос)	574 298,5 Кб	584 154,0 Кб	[список файлов]