Ubuntu
gnome-shell-extension-mediaplayer package

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

Changelog

gnome-shell-extension-mediaplayer (0~git20170311-1) experimental; urgency=medium

  * Increase debhelper compat level to 10
  * New upstream snapshot
    - Compatible with GNOME Shell 3.24

 -- Simon McVittie <email address hidden>  Mon, 13 Mar 2017 08:55:31 +0000

Upload details

Uploaded by:
Simon McVittie
Uploaded to:
Experimental
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~git20170311-1.dsc 2.2 KiB c437293065086a0a175aacc3038677aba55351a673412c0cc66549ed13eb9dc4
gnome-shell-extension-mediaplayer_0~git20170311.orig.tar.xz 239.7 KiB a2add55ec2601d121680ed19b5a157ed1b4d6de8bd5eba58efe15cb918da2929
gnome-shell-extension-mediaplayer_0~git20170311-1.debian.tar.xz 3.2 KiB 3b5cd2cddc305e6428013667568ed6fa081d8ae2da625bf5b90ccad9f8209b33

No changes file available.

Binary packages built by this source

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

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