Debian
gnome-shell-extension-mediaplayer package

gnome-shell-extension-mediaplayer 3.2-1 source package in Debian

Changelog

gnome-shell-extension-mediaplayer (3.2-1) unstable; urgency=medium

  * New upstream release, officially supporting gnome-shell 3.26

 -- Simon McVittie <email address hidden>  Fri, 08 Sep 2017 10:49:17 +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

Downloads

File Size SHA-256 Checksum
gnome-shell-extension-mediaplayer_3.2-1.dsc 2.2 KiB 7482c15bb8ccab6ccf235ceecb04f75ea115aa0111ae3fe07e25022df1976720
gnome-shell-extension-mediaplayer_3.2.orig.tar.gz 238.6 KiB a59be1519566437b40d335a7b2a92c89700590360702fc366bd857bf41db6a54
gnome-shell-extension-mediaplayer_3.2-1.debian.tar.xz 10.4 KiB de01e72d52bc7a8300af433a431e4a27d654268f158251495d1e0848e3cff095

Available diffs

No changes file available.

Binary packages built by this source