frama-c-base <-> minetest-data

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

Architecture of frama-c-base: amd64

Version of minetest-data: 5.4.1+repack-2

Architecture of minetest-data: all

frama-c-baseminetest-data
sizefilenamehash functionsfilename
75 B./usr/share/frama-c/theme/colorblind/fold.png./usr/share/frama-c/theme/colorblind/unfold.png png_sha512./usr/share/games/minetest/games/minetest_game/mods/default/textures/default_obsidian_glass_detail.png

Details about this service