[ sid ]

[ Zdroj: ]

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

Odkazy pre cbmc-dbgsym

Zdroje Debian:

Hlásenia chýb

Stiahnuť zdrojový balík :

Nenájdený

Správcovia:

Podobné balíky:

debug symbols for cbmc

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

závisí

odporúča

navrhuje

vylepšuje

dep: cbmc (= 5.95.1-6)

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
m68k (neoficiálny port)	412,256.4 kB	419,905.0 kB	[zoznam súborov]