frama-c-base <-> jcadencii

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

Architecture of frama-c-base: amd64

Version of jcadencii: 3.3.9+svn20110818.r1732-6.1

Architecture of jcadencii: all

frama-c-basejcadencii
sizefilenamehash functionsfilename
75 B./usr/share/frama-c/theme/colorblind/fold.png./usr/share/frama-c/theme/colorblind/unfold.png png_sha512./usr/share/jcadencii/resources/notenull.png

Details about this service