Ubuntu
gnome-shell-extension-mediaplayer package

gnome-shell-extension-mediaplayer 0~git20161209-1 source package in Ubuntu

Changelog

gnome-shell-extension-mediaplayer (0~git20161209-1) unstable; urgency=medium

  * New upstream snapshot
    - Explicitly declares compatibility with GNOME Shell 3.22 as used
      in stretch

 -- Simon McVittie <email address hidden>  Mon, 02 Jan 2017 22:14:09 +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

Builds

Zesty: [FULLYBUILT] amd64

Downloads

File Size SHA-256 Checksum
gnome-shell-extension-mediaplayer_0~git20161209-1.dsc 2.2 KiB 311660a3c2d9ac10bf1451f579300158a2d7242a4b2df068a1f090c984ee8476
gnome-shell-extension-mediaplayer_0~git20161209.orig.tar.xz 202.8 KiB 6c5620ed31ffdb73a1b2320bfeb72dffcf918cbb9637e20f958a12c63273066e
gnome-shell-extension-mediaplayer_0~git20161209-1.debian.tar.xz 3.2 KiB a529833ecea422f41ab55abe77306ccec1f208c33849191f2e21103a4e818ca8

No changes file available.

Binary packages built by this source

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

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