Paket: cbmc-dbgsym (5.95.1-4 und andere) [debports]

[ Quellcode:  ]

debug symbols for cbmc

Andere Pakete mit Bezug zu cbmc-dbgsym

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

  bounded model checker for C and C++ programs

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

cbmc-dbgsym herunterladen

Download für alle verfügbaren Architekturen

Architektur	Version	Paketgröße	Größe (installiert)	Dateien
alpha (inoffizielle Portierung)	5.95.1-4	580.269,0 kB	588.767,0 kB	[Liste der Dateien]
hppa (inoffizielle Portierung)	5.95.1-4	456.269,4 kB	464.565,0 kB	[Liste der Dateien]
ia64 (inoffizielle Portierung)	5.95.1-4	535.843,4 kB	543.834,0 kB	[Liste der Dateien]
m68k (inoffizielle Portierung)	5.95.1-4	412.466,4 kB	420.141,0 kB	[Liste der Dateien]
ppc64 (inoffizielle Portierung)	5.95.1-4	466.526,2 kB	475.229,0 kB	[Liste der Dateien]
riscv64 (inoffizielle Portierung)	5.84.0-11	423.973,2 kB	433.127,0 kB	[Liste der Dateien]
sh4 (inoffizielle Portierung)	5.95.1-4	330.131,1 kB	336.873,0 kB	[Liste der Dateien]
sparc64 (inoffizielle Portierung)	5.95.1-4	553.622,6 kB	563.134,0 kB	[Liste der Dateien]
x32 (inoffizielle Portierung)	5.95.1-4	574.298,5 kB	584.154,0 kB	[Liste der Dateien]