frama-c-base <-> enigma-data

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

Architecture of frama-c-base: amd64

Version of enigma-data: 1.20-dfsg.1-2.2

Architecture of enigma-data: all

frama-c-baseenigma-data
sizefilenamehash functionsfilename
150 B./usr/share/frama-c/theme/colorblind/inconsistent.png png_sha512./usr/share/games/enigma/gfx16/fl_abyss.png
png_sha512./usr/share/games/enigma/gfx16/fl_bridge_bw_open.png
png_sha512./usr/share/games/enigma/gfx16/fl_bridge_gc_open.png

Details about this service