frama-c-base <-> coccinella

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

Architecture of frama-c-base: amd64

Version of coccinella: 0.96.20-9

Architecture of coccinella: all

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

Details about this service