gfsview <-> frama-c-base

Version of gfsview: 20121130+dfsg-7

Architecture of gfsview: amd64

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

Architecture of frama-c-base: amd64

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

Details about this service