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

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

Architecture of frama-c-base: amd64

Version of minetest-mod-xdecor: 1.0+dfsg1-2

Architecture of minetest-mod-xdecor: all

frama-c-baseminetest-mod-xdecor
sizefilenamehash functionsfilename
75 B./usr/share/frama-c/theme/colorblind/unfold.png./usr/share/frama-c/theme/colorblind/fold.png png_sha512./usr/share/games/minetest/mods/xdecor/textures/mailbox_blank16.png

Details about this service