This package is 62.2 KB.
It is available at http://ftp.debian.org/debian/pool/main/g/gnome-shell-extension-mediaplayer/gnome-shell-extension-mediaplayer_0~git20161209-1_all.deb
.
View its full control file here:
debian/control.
GNOME Shell extension to control media players
This package depends on:
gnome-shell (<< 3.23), gnome-shell (>= 3.10), dconf-gsettings-backend | gsettings-backend.
This package recommends:
gnome-tweak-tool.
This package does not suggest any other package.
This package does not conflict with any other package.
gnome-shell-extension-mediaplayer 0~git20161209-1 is in debian - stretch / main. This package's architecture is: architectureless.
This package will not be indexed since your user agent reports your browser is a bot.