coccinella <-> frama-c-base

Version of coccinella: 0.96.20-9

Architecture of coccinella: all

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

Architecture of frama-c-base: amd64

coccinellaframa-c-base
sizefilenamehash functionsfilename
850 B./usr/share/coccinella/themes/Oxygen/elements/bwrect.gif gif_sha512 -> png_sha512./usr/share/frama-c/theme/colorblind/inconsistent.png

Details about this service