Ubuntu
gnome-shell-extension-mediaplayer package

gnome-shell-extension-mediaplayer 4.0-1 source package in Ubuntu

Changelog

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

  * New upstream release
  * d/rules: Drop get-orig-source target (use uscan or git archive instead)

 -- Simon McVittie <email address hidden>  Mon, 12 Nov 2018 15:00:02 +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

Disco: [FULLYBUILT] amd64

Downloads

File Size SHA-256 Checksum
gnome-shell-extension-mediaplayer_4.0-1.dsc 2.2 KiB da480231676491b5b31148693373feb324ae1966c85135650bbb87350cd806ee
gnome-shell-extension-mediaplayer_4.0.orig.tar.gz 241.5 KiB 01e0505be1d82877faa87fc0321a7b65b1e4f48ad19156721f6dc01326461300
gnome-shell-extension-mediaplayer_4.0-1.debian.tar.xz 10.9 KiB 2bcfdffb63dce5a32a58b6c81e81b3a890e04415cca7647bc947ac0877da7750

Available diffs

No changes file available.

Binary packages built by this source

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

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