Ubuntu
gnome-shell-extension-mediaplayer package

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

Changelog

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

  * Standards-Version: 3.9.8 (no changes)
  * debian/gbp.conf: use correct DEP-14 branch name upstream/latest
  * d/rules: improve get-orig-source target
    - use DEP-14 branch name
    - get the ChangeLog from the correct commit
  * New upstream snapshot

 -- Simon McVittie <email address hidden>  Sun, 17 Jul 2016 17:43:55 +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-1.dsc 2.2 KiB 8d8cf1cf4f184892b73eec74b619aac0eb309df84b47a1af86cf28a18b4bbb18
gnome-shell-extension-mediaplayer_0~git20160509.orig.tar.xz 200.0 KiB f273e85917505f33584337228fc4749b9420a10e5daba26d3ef0e8e6c8e7a0f4
gnome-shell-extension-mediaplayer_0~git20160509-1.debian.tar.xz 2.9 KiB 82a829a1af277a86c2af4976c47b7a660d90587d91d55453fcdf822474e84f82

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.