Version of supertuxkart-data: 1.4+dfsg-3
Architecture of supertuxkart-data: all
Version of frama-c-base: 20220511-manganese-5+b6
Architecture of frama-c-base: amd64
| supertuxkart-data | frama-c-base | ||
|---|---|---|---|
| size | filename | hash functions | filename |
| 173 B | ./usr/share/games/supertuxkart/data/tracks/overworld/bubble_solid_texture.png | png_sha512 | ./usr/share/frama-c/theme/colorblind/fold.png |
| png_sha512 | ./usr/share/frama-c/theme/colorblind/unfold.png | ||
| 132 B | ./usr/share/games/supertuxkart/data/tracks/tutorial/pix.png./usr/share/games/supertuxkart/data/textures/gfx_resetWaterSplash_AlphaTested.png./usr/share/games/supertuxkart/data/textures/gfx_distord_AlphaTested.png./usr/share/games/supertuxkart/data/tracks/fortmagma/pix.png./usr/share/games/supertuxkart/data/tracks/tutorial/pix_2.png./usr/share/games/supertuxkart/data/textures/gfx_booster_AlphaTest.png | png_sha512 | ./usr/share/frama-c/theme/colorblind/fold.png |
| png_sha512 | ./usr/share/frama-c/theme/colorblind/unfold.png | ||
| 75 B | ./usr/share/games/supertuxkart/data/tracks/black_forest/slight_slowdown.png | png_sha512, sha512 | ./usr/share/frama-c/theme/colorblind/fold.png |
| png_sha512, sha512 | ./usr/share/frama-c/theme/colorblind/unfold.png | ||