Publishing details

Published on 2018-02-26
Copied from debian sid in Primary Archive for Debian GNU/Linux by Ubuntu Archive Auto-Sync (sponsored by Ubuntu Archive Robot)

Changelog

gnome-shell-extension-mediaplayer (3.5-3) unstable; urgency=medium

  * Recommend gnome-tweaks, renamed from gnome-tweak-tool
  * Bump upper bound on gnome-shell dependency to 3.29

 -- Simon McVittie <email address hidden>  Sun, 25 Feb 2018 17:21:06 +0000

Available diffs

diff from 3.5-2 to 3.5-3 (729 bytes)

Builds

amd64

Built packages

gnome-shell-extension-mediaplayer GNOME Shell extension to control media players

Package files

gnome-shell-extension-mediaplayer_3.5-3.debian.tar.xz (13.4 KiB)
gnome-shell-extension-mediaplayer_3.5-3.dsc (2.1 KiB)
gnome-shell-extension-mediaplayer_3.5-3_all.deb (44.4 KiB)
gnome-shell-extension-mediaplayer_3.5.orig.tar.gz (239.1 KiB)