Ubuntu
gnome-shell-extension-mediaplayer package

gnome-shell-extension-mediaplayer 3.1-1ubuntu1 source package in Ubuntu

Changelog

gnome-shell-extension-mediaplayer (3.1-1ubuntu1) artful; urgency=medium

  * Drop maximum gnome-shell version dependency

 -- Jeremy Bicha <email address hidden>  Thu, 31 Aug 2017 06:46:36 -0400

Upload details

Uploaded by:
Jeremy Bicha
Sponsored by:
Jeremy Bícha
Uploaded to:
Artful
Original maintainer:
Ubuntu Developers
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.orig.tar.gz 238.6 KiB b8d4a36845d881254ce27db92a6b57a64ac19784901bfcddbe6bb26e588e6753
gnome-shell-extension-mediaplayer_3.1-1ubuntu1.debian.tar.xz 10.3 KiB b76656458f0f218914069fae8d43421ac4700960d804bef522466ae7b6f84495
gnome-shell-extension-mediaplayer_3.1-1ubuntu1.dsc 2.2 KiB 758bf4ed469109cb5eb4ed151e2a02f8b3c1d1b40289212429692fd6a48ded46

Available diffs

View changes file

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.