frama-c-base <-> gnome-shell-extension-sound-device-chooser

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

Architecture of frama-c-base: amd64

Version of gnome-shell-extension-sound-device-chooser: 38-3

Architecture of gnome-shell-extension-sound-device-chooser: all

frama-c-basegnome-shell-extension-sound-device-chooser
sizefilenamehash functionsfilename
75 B./usr/share/frama-c/theme/colorblind/fold.png./usr/share/frama-c/theme/colorblind/unfold.png png_sha512./usr/share/gnome-shell/extensions/sound-output-device-chooser@kgshank.net/icons/blank.png

Details about this service