frama-c-base <-> supertuxkart-data

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

Architecture of frama-c-base: amd64

Version of supertuxkart-data: 1.3+dfsg1-2

Architecture of supertuxkart-data: all

frama-c-basesupertuxkart-data
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/supertuxkart/data/textures/gfx_booster_AlphaTest.png
png_sha512./usr/share/games/supertuxkart/data/textures/gfx_distord_AlphaTested.png
png_sha512./usr/share/games/supertuxkart/data/textures/gfx_resetWaterSplash_AlphaTested.png
png_sha512, sha512./usr/share/games/supertuxkart/data/tracks/black_forest/slight_slowdown.png
png_sha512./usr/share/games/supertuxkart/data/tracks/fortmagma/pix.png
png_sha512./usr/share/games/supertuxkart/data/tracks/overworld/bubble_solid_texture.png
png_sha512./usr/share/games/supertuxkart/data/tracks/tutorial/pix.png
png_sha512./usr/share/games/supertuxkart/data/tracks/tutorial/pix_2.png

Details about this service