Format: 1.8 Date: Mon, 26 Nov 2012 01:00:11 +0100 Source: gnome-shell-extensions-mediaplayer Binary: gnome-shell-extensions-mediaplayer Architecture: all Version: 3.7.2~20121125~95f8272-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.2~20121125~95f8272-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) * Upstream changes in this update: Elder Marco (1): [bfa3e83] update brazilian portuguese translation Jean-Philippe Braun (1): [95f8272] Merge pull request #105 from elder/master Checksums-Sha1: e7c2b077ab6f3a4bb4a3c020cf870a1b3b25b879 42494 gnome-shell-extensions-mediaplayer_3.7.2~20121125~95f8272-0ubuntu1~fta1_all.deb Checksums-Sha256: a6abb02d05c97503f226819cdfc77d4f80c0e7971adc7e73fe413e9968b243c9 42494 gnome-shell-extensions-mediaplayer_3.7.2~20121125~95f8272-0ubuntu1~fta1_all.deb Files: 853655f49ae798a72e66e89355526513 42494 gnome optional gnome-shell-extensions-mediaplayer_3.7.2~20121125~95f8272-0ubuntu1~fta1_all.deb Original-Maintainer: Debian GNOME Maintainers