frama-c-base <-> gfsview

Version of frama-c-base: 20201209+titanium-4.1

Architecture of frama-c-base: amd64

Version of gfsview: 20121130+dfsg-7

Architecture of gfsview: amd64

frama-c-basegfsview
sizefilenamehash functionsfilename
75 B./usr/share/frama-c/theme/colorblind/fold.png./usr/share/frama-c/theme/colorblind/unfold.png png_sha512./usr/share/gfsview/pixmaps/empty-16x16.png

Details about this service