Format: 1.8 Date: Tue, 03 Apr 2012 01:00:10 +0200 Source: gnome-shell-extensions-mediaplayer Binary: gnome-shell-extensions-mediaplayer Architecture: all Version: 0~20120401~6fa5183-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~20120401~6fa5183-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.0 * Upstream changes in this update: Jean-Philippe Braun (7): [cbfeab0] Allow to run the default media player (closes #57) [a507306] Update french translation [12e42d4] Use the NameOwnerChanged DBus signal for watching new media players [a69361b] Remove unused import [bd243f1] Show tooltips on the widget [8aa282b] Update doc [6fa5183] Update screenshot Checksums-Sha1: 1540c055ab353258e56f8fd7ee4b1875f27cd667 33110 gnome-shell-extensions-mediaplayer_0~20120401~6fa5183-0ubuntu1~fta1_all.deb Checksums-Sha256: 85dc8df7e3c4846667ca943169d07ac14bf7ca863b605e44786e83f1172f9f87 33110 gnome-shell-extensions-mediaplayer_0~20120401~6fa5183-0ubuntu1~fta1_all.deb Files: 2bb1b5db5a303fd3dcdf241d182a937b 33110 gnome optional gnome-shell-extensions-mediaplayer_0~20120401~6fa5183-0ubuntu1~fta1_all.deb Original-Maintainer: Debian GNOME Maintainers