Format: 1.8 Date: Fri, 08 Jun 2012 01:00:11 +0200 Source: gnome-shell-extensions-mediaplayer Binary: gnome-shell-extensions-mediaplayer Architecture: all Version: 0~20120608~52ee993-0ubuntu1~fta1 Distribution: precise Urgency: low Maintainer: Ubuntu Build Daemon Changed-By: Fabien Tassin Description: gnome-shell-extensions-mediaplayer - Control MPRIS2 capable media players Changes: gnome-shell-extensions-mediaplayer (0~20120608~52ee993-0ubuntu1~fta1) precise; 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 * Upstream changes in this update: Jean-Philippe Braun (3): [b77e520] Disconnect signals correctly when disabling the extension [986ed81] Download http covers asynchronously (Fixes #61) [4f252be] Merge pull request #74 from genodeftest/patch-1 Fabien Tassin (1): [52ee993] Merge branch 'master' of https://github.com/eonpatapon/gnome-shell-extensions-mediaplayer genodeftest (1): [87689d3] Update german translation Checksums-Sha1: e13a7ab23449c06f2ce0abb9ffdf944bf1d78f44 38892 gnome-shell-extensions-mediaplayer_0~20120608~52ee993-0ubuntu1~fta1_all.deb Checksums-Sha256: 80493a55da9e64683e8217b46b8c50357a252c7c43428f32b3ba64dcefaf5c52 38892 gnome-shell-extensions-mediaplayer_0~20120608~52ee993-0ubuntu1~fta1_all.deb Files: fe069496cb8c54bea95c4b118b0ef581 38892 gnome optional gnome-shell-extensions-mediaplayer_0~20120608~52ee993-0ubuntu1~fta1_all.deb Original-Maintainer: Debian GNOME Maintainers