Balík: cbmc-dbgsym (5.95.1-4) [debports]

[ Zdroj:  ]

debug symbols for cbmc

Ostatné balíky súvisiace s balíkom cbmc-dbgsym

• dep: cbmc (= 5.95.1-4)

  bounded model checker for C and C++ programs

Stiahnuť cbmc-dbgsym

Stiahnuť pre všetky dostupné architektúry

Architektúra	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
alpha (neoficiálny port)	580,269.0 kB	588,767.0 kB	[zoznam súborov]