Ubuntu
gnome-shell-extension-mediaplayer package

gnome-shell-extension-mediaplayer 3.5-3 source package in Ubuntu

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

Upload details

Uploaded by:
Simon McVittie
Uploaded to:
Sid
Original maintainer:
Simon McVittie
Architectures:
all
Section:
misc
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Bionic release universe misc

Builds

Bionic: [FULLYBUILT] amd64

Downloads

File Size SHA-256 Checksum
gnome-shell-extension-mediaplayer_3.5-3.dsc 2.1 KiB f57a36fe716ebcc2331d182a49cae9e636a28bf828cfaf7a7707a1ba24c3dba4
gnome-shell-extension-mediaplayer_3.5.orig.tar.gz 239.1 KiB 23b640d4452a5a072ab63ec3f87b4d8b9ee1121da319b30e39a6bf393dc2df13
gnome-shell-extension-mediaplayer_3.5-3.debian.tar.xz 13.4 KiB 8108b1476ff4032affb9dd059567863bb04c6eb00f76fb9c9998281c88de6a15

Available diffs

No changes file available.

Binary packages built by this source

gnome-shell-extension-mediaplayer: No summary available for gnome-shell-extension-mediaplayer in ubuntu cosmic.

No description available for gnome-shell-extension-mediaplayer in ubuntu cosmic.