frama-c-base <-> kodi-screensaver-shadertoy

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

Architecture of frama-c-base: amd64

Version of kodi-screensaver-shadertoy: 3.2.0+ds1-3

Architecture of kodi-screensaver-shadertoy: amd64

frama-c-basekodi-screensaver-shadertoy
sizefilenamehash functionsfilename
150 B./usr/share/frama-c/theme/colorblind/inconsistent.png png_sha512./usr/share/kodi/addons/screensaver.shadertoy/resources/keyboard.png

Details about this service