gnome-shell-extension-mediaplayer Debian release 4.0-1
Upstream version 4.0
gnome-shell-extension-mediaplayer Debian release 3.5+git20181012-1
Upstream version 3.5+git20181012
gnome-shell-extension-mediaplayer Debian release 3.5-4
gnome-shell-extension-mediaplayer Debian release 3.5-3
gnome-shell-extension-mediaplayer Debian release 3.5-2
gnome-shell-extension-mediaplayer Debian release 3.5-1
Upstream version 3.5
gnome-shell-extension-mediaplayer Debian release 3.3-1
Upstream version 3.3
gnome-shell-extension-mediaplayer Debian release 3.1-2
Upstream version 3.1
Upstream version 0.2.3
gnome-shell-extension-mediaplayer Debian release 0.2.2-1
Upstream version 0.2.2