Ubuntu
gnome-shell-extension-mediaplayer package

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

Changelog

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

  * debian/control: Drop upper limit for compatible gnome-shell version

 -- Jeremy Bicha <email address hidden>  Thu, 16 Feb 2017 11:03:55 -0500

Upload details

Uploaded by:
Jeremy Bícha
Uploaded to:
Zesty
Original maintainer:
Ubuntu Developers
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.orig.tar.xz 202.8 KiB 6c5620ed31ffdb73a1b2320bfeb72dffcf918cbb9637e20f958a12c63273066e
gnome-shell-extension-mediaplayer_0~git20161209-1ubuntu1.debian.tar.xz 3.3 KiB f4382807b02c0e40a977834ba41a340220884ea23a779a211003a2b6f16a2960
gnome-shell-extension-mediaplayer_0~git20161209-1ubuntu1.dsc 2.3 KiB b1067e0d683f93663d2d2f3dc030ec31c0090ab4e24f9ebe968fd1a957420148

View changes file

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.