Ubuntu
gnome-shell-extension-mediaplayer package

gnome-shell-extension-mediaplayer 3.1-2 source package in Ubuntu

Changelog

gnome-shell-extension-mediaplayer (3.1-2) unstable; urgency=medium

  * Bump upper bound on gnome-shell dependency to 3.27
  * Declare Debian Policy 4.1.0 compliance

 -- Simon McVittie <email address hidden>  Fri, 01 Sep 2017 10:24:29 +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

Artful: [FULLYBUILT] amd64

Downloads

File Size SHA-256 Checksum
gnome-shell-extension-mediaplayer_3.1-2.dsc 2.2 KiB c87570559a6de2010e72d2f952837f2531e3b58cf104f69c49649d638eaf61a9
gnome-shell-extension-mediaplayer_3.1.orig.tar.gz 238.6 KiB b8d4a36845d881254ce27db92a6b57a64ac19784901bfcddbe6bb26e588e6753
gnome-shell-extension-mediaplayer_3.1-2.debian.tar.xz 10.3 KiB 554649c0eae479ffc2c74018f2322ec1482d8c9d4929bbbc9bfc36a43fdef3de

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 artful.

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