frama-c-base <-> minetest-mod-player-3d-armor

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

Architecture of frama-c-base: amd64

Version of minetest-mod-player-3d-armor: 0.4.13-4

Architecture of minetest-mod-player-3d-armor: all

frama-c-baseminetest-mod-player-3d-armor
sizefilenamehash functionsfilename
150 B./usr/share/frama-c/theme/colorblind/inconsistent.png png_sha512./usr/share/games/minetest/mods/3d_armor/3d_armor/textures/3d_armor_trans.png

Details about this service