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

Odkazy pre cbmc-dbgsym

Nenájdený

dep: cbmc (= 5.84.0-11) [riscv64]

bounded model checker for C and C++ programs

dep: cbmc (= 5.95.1-4) [nie riscv64]

Stiahnuť pre všetky dostupné architektúry
Architektúra	Verzia	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
alpha (neoficiálny port)	5.95.1-4	580,269.0 kB	588,767.0 kB	[zoznam súborov]
hppa (neoficiálny port)	5.95.1-4	456,269.4 kB	464,565.0 kB	[zoznam súborov]
ia64 (neoficiálny port)	5.95.1-4	535,843.4 kB	543,834.0 kB	[zoznam súborov]
m68k (neoficiálny port)	5.95.1-4	412,466.4 kB	420,141.0 kB	[zoznam súborov]
ppc64 (neoficiálny port)	5.95.1-4	466,526.2 kB	475,229.0 kB	[zoznam súborov]
riscv64 (neoficiálny port)	5.84.0-11	423,973.2 kB	433,127.0 kB	[zoznam súborov]
sh4 (neoficiálny port)	5.95.1-4	330,131.1 kB	336,873.0 kB	[zoznam súborov]
sparc64 (neoficiálny port)	5.95.1-4	553,622.6 kB	563,134.0 kB	[zoznam súborov]
x32 (neoficiálny port)	5.95.1-4	574,298.5 kB	584,154.0 kB	[zoznam súborov]