Format: 1.8 Date: Mon, 05 Nov 2012 01:00:27 +0100 Source: gnome-shell-extensions-mediaplayer Binary: gnome-shell-extensions-mediaplayer Architecture: all Version: 3.7.1~20121105~44aff0e-0ubuntu1~fta1 Distribution: raring 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 (3.7.1~20121105~44aff0e-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.1) * Upstream changes in this update: Jean-Philippe Braun (3): [a9b2a3f] Don't add players if extension is disabling [fb9de97] Init player after all signals are connected [65c4e24] Add support for g-s 3.7.1 Fabien Tassin (1): [44aff0e] Merge branch 'master' of https://github.com/eonpatapon/gnome-shell-extensions-mediaplayer Checksums-Sha1: 158efab631f15d5e057effee3c590bdd1ee83f15 41928 gnome-shell-extensions-mediaplayer_3.7.1~20121105~44aff0e-0ubuntu1~fta1_all.deb Checksums-Sha256: 8f1fd6f90238918c88c6d575772692dff7532153a54d8a8559df55a0a93e7516 41928 gnome-shell-extensions-mediaplayer_3.7.1~20121105~44aff0e-0ubuntu1~fta1_all.deb Files: f409d2e464c0bd3ab04d078e46678cac 41928 gnome optional gnome-shell-extensions-mediaplayer_3.7.1~20121105~44aff0e-0ubuntu1~fta1_all.deb Original-Maintainer: Debian GNOME Maintainers