Format: 1.8 Date: Tue, 02 Oct 2012 01:00:12 +0200 Source: gnome-shell-extensions-mediaplayer Binary: gnome-shell-extensions-mediaplayer Architecture: all Version: 0~20121002~c42ba0b-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~20121002~c42ba0b-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, 3.5.91, 3.5.92, 3.6 * Upstream changes in this update: Fabien Tassin (1): [c42ba0b] Merge branch 'master' of https://github.com/eonpatapon/gnome-shell-extensions-mediaplayer Jean-Philippe Braun (1): [8dd6051] Merge pull request #92 from rat4/patch Pavel Vasin (1): [abc0518] Update ru translation Checksums-Sha1: 315b4254f1222a90cf7778aec84b0f4e5250e95b 42062 gnome-shell-extensions-mediaplayer_0~20121002~c42ba0b-0ubuntu1~fta1_all.deb Checksums-Sha256: 06c4781a64f7a1cae75d73d5733dae4dd3c749ab1e3170c065829362a152cc87 42062 gnome-shell-extensions-mediaplayer_0~20121002~c42ba0b-0ubuntu1~fta1_all.deb Files: ab8401e32ef3a3af69b3b3367d70219a 42062 gnome optional gnome-shell-extensions-mediaplayer_0~20121002~c42ba0b-0ubuntu1~fta1_all.deb Original-Maintainer: Debian GNOME Maintainers