frama-c-base <-> berusky2-data

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

Architecture of frama-c-base: amd64

Version of berusky2-data: 0.12-1

Architecture of berusky2-data: all

frama-c-baseberusky2-data
sizefilenamehash functionsfilename
150 B./usr/share/frama-c/theme/colorblind/inconsistent.png png_sha512./usr/share/games/berusky2/textures/general/tycka.png

Details about this service