Pakket: cbmc-dbgsym (5.95.1-6 en anderen) [debports]

[ Bron:  ]

debug symbols for cbmc

Andere aan cbmc-dbgsym gerelateerde pakketten

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

  bounded model checker for C and C++ programs

  dep: cbmc (= 5.95.1-4) [alpha, ia64]

  dep: cbmc (= 5.95.1-6) [niet alpha, ia64, riscv64]

cbmc-dbgsym downloaden

Pakket downloaden voor alle beschikbare platforms

Platform	Versie	Pakketgrootte	Geïnstalleerde grootte	Bestanden
alpha (unofficial port)	5.95.1-4	580.269,0 kB	588.767,0 kB	[overzicht]
hppa (unofficial port)	5.95.1-6	456.232,6 kB	464.550,0 kB	[overzicht]
ia64 (unofficial port)	5.95.1-4	535.843,4 kB	543.834,0 kB	[overzicht]
m68k (unofficial port)	5.95.1-6	412.256,4 kB	419.905,0 kB	[overzicht]
ppc64 (unofficial port)	5.95.1-6	466.601,3 kB	475.279,0 kB	[overzicht]
riscv64 (unofficial port)	5.84.0-11	423.973,2 kB	433.127,0 kB	[overzicht]
sh4 (unofficial port)	5.95.1-6	330.129,4 kB	336.868,0 kB	[overzicht]
sparc64 (unofficial port)	5.95.1-6	553.692,3 kB	563.109,0 kB	[overzicht]
x32 (unofficial port)	5.95.1-6	574.147,9 kB	584.064,0 kB	[overzicht]