Ubuntu
gnome-shell-extension-mediaplayer package

gnome-shell-extension-mediaplayer 0~git20160509-3 source package in Ubuntu

Changelog

gnome-shell-extension-mediaplayer (0~git20160509-3) unstable; urgency=medium

  * Rely on gnome-shell >= 3.21.92 having dropped version-checks
    by default (Closes: #837726)
    - Drop patch to metadata.json. It only declares compatibility with
      3.20, but that's OK because the version-check is disabled by
      default now.
    - Depends: gnome-shell (<< 3.23). This avoids using stretch versions
      of this extension with buster versions of GNOME Shell, since we
      can't predict whether it will be 100% compatible

 -- Simon McVittie <email address hidden>  Wed, 14 Sep 2016 09:18:45 +0100

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

Builds

Yakkety: [FULLYBUILT] amd64

Downloads

File Size SHA-256 Checksum
gnome-shell-extension-mediaplayer_0~git20160509-3.dsc 2.2 KiB 1ab57947e42d102d86b05a823786012fc94a295f45952a8a71c47199309983b5
gnome-shell-extension-mediaplayer_0~git20160509.orig.tar.xz 200.0 KiB f273e85917505f33584337228fc4749b9420a10e5daba26d3ef0e8e6c8e7a0f4
gnome-shell-extension-mediaplayer_0~git20160509-3.debian.tar.xz 3.1 KiB ea2a1dd5ef19d4f6cc5d037207243a7c6398db412fd59cc4dd3b39d32c2be486

No changes file available.

Binary packages built by this source

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

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