frama-c-base <-> minetest-mod-homedecor

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

Architecture of frama-c-base: amd64

Version of minetest-mod-homedecor: 20210327.1-1

Architecture of minetest-mod-homedecor: all

frama-c-baseminetest-mod-homedecor
sizefilenamehash functionsfilename
150 B./usr/share/frama-c/theme/colorblind/inconsistent.png png_sha512./usr/share/games/minetest/mods/homedecor/homedecor_common/textures/homedecor_blanktile.png

Details about this service