Pakiet: cbmc-dbgsym (5.95.1-5 i inne) [debports]

[ Pakiet źródłowy:  ]

debug symbols for cbmc

Inne pakiety związane z cbmc-dbgsym

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

  bounded model checker for C and C++ programs

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

  dep: cbmc (= 5.95.1-5) [ppc64, sparc64]

Pobieranie cbmc-dbgsym

Pobierz dla wszystkich dostępnych architektur

Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
alpha (port nieoficjalny)	5.95.1-4	580 269,0 KiB	588 767,0 KiB	[lista plików]
hppa (port nieoficjalny)	5.95.1-4	456 269,4 KiB	464 565,0 KiB	[lista plików]
ia64 (port nieoficjalny)	5.95.1-4	535 843,4 KiB	543 834,0 KiB	[lista plików]
m68k (port nieoficjalny)	5.95.1-4	412 466,4 KiB	420 141,0 KiB	[lista plików]
ppc64 (port nieoficjalny)	5.95.1-5	466 597,7 KiB	475 277,0 KiB	[lista plików]
riscv64 (port nieoficjalny)	5.84.0-11	423 973,2 KiB	433 127,0 KiB	[lista plików]
sh4 (port nieoficjalny)	5.95.1-4	330 131,1 KiB	336 873,0 KiB	[lista plików]
sparc64 (port nieoficjalny)	5.95.1-5	553 633,5 KiB	563 136,0 KiB	[lista plików]
x32 (port nieoficjalny)	5.95.1-4	574 298,5 KiB	584 154,0 KiB	[lista plików]