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-5+b5)

  Platform dedicated to the analysis of source code written in C

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]