Version of frama-c-base: 20220511-manganese-5+b6
Architecture of frama-c-base: amd64
Version of minetest-mod-xdecor: 1.0+dfsg1-2
Architecture of minetest-mod-xdecor: all
frama-c-base | minetest-mod-xdecor | ||
---|---|---|---|
size | filename | hash functions | filename |
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 |