Format: 1.8
Date: Sun, 17 Jul 2016 20:55:04 -0400
Source: gnome-shell-extension-mediaplayer
Binary: gnome-shell-extension-mediaplayer
Architecture: source
Version: 0~git20160509-1~ubuntu16.04.1
Distribution: xenial
Urgency: medium
Maintainer: Simon McVittie <smcv@debian.org>
Changed-By: Jeremy Bicha <jbicha@ubuntu.com>
Description:
 gnome-shell-extension-mediaplayer - GNOME Shell extension to control media players
Changes:
 gnome-shell-extension-mediaplayer (0~git20160509-1~ubuntu16.04.1) xenial; urgency=medium
 .
   * No-change backport to xenial
Checksums-Sha1:
 63eec7dca778efbaabe532ad23eb4917e0d471e3 2328 gnome-shell-extension-mediaplayer_0~git20160509-1~ubuntu16.04.1.dsc
 966ca7db081828a038b9ee7952633d15e5d110f5 204784 gnome-shell-extension-mediaplayer_0~git20160509.orig.tar.xz
 ce251ad3c18bffd360de73ab6afb1de62f4c6db7 3056 gnome-shell-extension-mediaplayer_0~git20160509-1~ubuntu16.04.1.debian.tar.xz
Checksums-Sha256:
 85d414a948559d7f89d5de7031b31456a5492cc8ce433e773a81d473eabc1d32 2328 gnome-shell-extension-mediaplayer_0~git20160509-1~ubuntu16.04.1.dsc
 f273e85917505f33584337228fc4749b9420a10e5daba26d3ef0e8e6c8e7a0f4 204784 gnome-shell-extension-mediaplayer_0~git20160509.orig.tar.xz
 3624229fb159db36c8818db0a0ba7d091719c01a7106e311b4ab14d3e422ffe1 3056 gnome-shell-extension-mediaplayer_0~git20160509-1~ubuntu16.04.1.debian.tar.xz
Files:
 93916de7d20a1541aec7e398a950090d 2328 gnome optional gnome-shell-extension-mediaplayer_0~git20160509-1~ubuntu16.04.1.dsc
 7aaf7344056e85a2fb0355024325120b 204784 gnome optional gnome-shell-extension-mediaplayer_0~git20160509.orig.tar.xz
 c47dadd7b59d18f0e13971bdca5b1661 3056 gnome optional gnome-shell-extension-mediaplayer_0~git20160509-1~ubuntu16.04.1.debian.tar.xz