Version of luanti-game-minetest: 5.8.0.40.gc7be7c1-3
Architecture of luanti-game-minetest: all
Version of frama-c-base: 20220511-manganese-5+b13
Architecture of frama-c-base: amd64
| luanti-game-minetest | frama-c-base | ||
|---|---|---|---|
| size | filename | hash functions | filename |
| 74 B | ./usr/share/luanti/games/minetest_game/mods/default/textures/default_obsidian_glass_detail.png | png_sha512 | ./usr/share/frama-c/theme/colorblind/fold.png |
| png_sha512 | ./usr/share/frama-c/theme/colorblind/unfold.png | ||