Package: frama-c-base-dbgsym (20220511-manganese-5 and others) [debports]

[ Source:  ]

debug symbols for frama-c-base

Other Packages Related to frama-c-base-dbgsym

• dep: frama-c-base (= 20220511-manganese-4+b2) [riscv64]

  Platform dedicated to the analysis of source code written in C

  dep: frama-c-base (= 20220511-manganese-5) [ppc64]

  dep: frama-c-base (= 20220511-manganese-5+b4) [hppa, m68k]

  dep: frama-c-base (= 20220511-manganese-5+b5) [alpha, ia64, sparc64, x32]

Download frama-c-base-dbgsym

Download for all available architectures

Architecture	Version	Package Size	Installed Size	Files
alpha (unofficial port)	20220511-manganese-5+b5	101.7 kB	376.0 kB	[list of files]
hppa (unofficial port)	20220511-manganese-5+b4	100.4 kB	321.0 kB	[list of files]
ia64 (unofficial port)	20220511-manganese-5+b5	99.9 kB	375.0 kB	[list of files]
m68k (unofficial port)	20220511-manganese-5+b4	101.3 kB	313.0 kB	[list of files]
ppc64 (unofficial port)	20220511-manganese-5	3,796.1 kB	16,922.0 kB	[list of files]
riscv64 (unofficial port)	20220511-manganese-4+b2	4,695.5 kB	19,584.0 kB	[list of files]
sparc64 (unofficial port)	20220511-manganese-5+b5	99.9 kB	378.0 kB	[list of files]
x32 (unofficial port)	20220511-manganese-5+b5	99.1 kB	310.0 kB	[list of files]