Format: 1.8
Date: Thu, 22 Nov 2012 00:03:32 +0100
Source: gnome-shell-extensions-mediaplayer
Binary: gnome-shell-extensions-mediaplayer
Architecture: all
Version: 3.7.2~20121113~be6b0ed-0ubuntu1~fta1
Distribution: raring
Urgency: low
Maintainer: Ubuntu/amd64 Build Daemon <buildd@charichuelo.ppa>
Changed-By: Fabien Tassin <fta@sofaraway.org>
Description: 
 gnome-shell-extensions-mediaplayer - Control MPRIS2 capable media players
Changes: 
 gnome-shell-extensions-mediaplayer (3.7.2~20121113~be6b0ed-0ubuntu1~fta1) raring; urgency=low
 .
   * New git snapshot from https://github.com/eonpatapon/gnome-shell-extensions-mediaplayer
   * Compatible with GNOME Shell 3.3.5, 3.3.90, 3.3.91, 3.3.92, 3.4, 3.5.91, 3.5.92, 3.6, 3.7.1 (auto-added 3.7.2)
Checksums-Sha1: 
 beb8320bbf088f2e56206763a2af79528bc70a3a 42168 gnome-shell-extensions-mediaplayer_3.7.2~20121113~be6b0ed-0ubuntu1~fta1_all.deb
Checksums-Sha256: 
 d429e0b4ba7fdf96edd543ef972ceec37d9603b990630fb24e976f71b2bbe685 42168 gnome-shell-extensions-mediaplayer_3.7.2~20121113~be6b0ed-0ubuntu1~fta1_all.deb
Files: 
 2becdeeb515d2be9a1626667700ef6ff 42168 gnome optional gnome-shell-extensions-mediaplayer_3.7.2~20121113~be6b0ed-0ubuntu1~fta1_all.deb
Original-Maintainer: Debian GNOME Maintainers <pkg-gnome-maintainers@lists.alioth.debian.org>