Paketti: cbmc-dbgsym (5.95.1-4 ja muut) [debports]

[ Source:  ]

debug symbols for cbmc

Muut pakettiin cbmc-dbgsym liittyvät paketit

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

  bounded model checker for C and C++ programs

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

Imuroi cbmc-dbgsym

Imurointi kaikille saataville arkkitehtuureille

Arkkitehtuuri	Versio	Paketin koko	Koko asennettuna	Tiedostot
alpha (epävirallinen siirros)	5.95.1-4	580,269.0 kt	588,767.0 kt	[tiedostoluettelo]
hppa (epävirallinen siirros)	5.95.1-4	456,269.4 kt	464,565.0 kt	[tiedostoluettelo]
ia64 (epävirallinen siirros)	5.95.1-4	535,843.4 kt	543,834.0 kt	[tiedostoluettelo]
m68k (epävirallinen siirros)	5.95.1-4	412,466.4 kt	420,141.0 kt	[tiedostoluettelo]
ppc64 (epävirallinen siirros)	5.95.1-4	466,526.2 kt	475,229.0 kt	[tiedostoluettelo]
riscv64 (epävirallinen siirros)	5.84.0-11	423,973.2 kt	433,127.0 kt	[tiedostoluettelo]
sh4 (epävirallinen siirros)	5.95.1-4	330,131.1 kt	336,873.0 kt	[tiedostoluettelo]
sparc64 (epävirallinen siirros)	5.95.1-4	553,622.6 kt	563,134.0 kt	[tiedostoluettelo]
x32 (epävirallinen siirros)	5.95.1-4	574,298.5 kt	584,154.0 kt	[tiedostoluettelo]