Format: 1.8 Date: Sun, 16 Dec 2012 01:00:13 +0100 Source: gnome-shell-extensions-mediaplayer Binary: gnome-shell-extensions-mediaplayer Architecture: all Version: 3.7.2~20121215~0f262b3-0ubuntu1~fta1 Distribution: raring Urgency: low Maintainer: Ubuntu/amd64 Build Daemon Changed-By: Fabien Tassin Description: gnome-shell-extensions-mediaplayer - Control MPRIS2 capable media players Changes: gnome-shell-extensions-mediaplayer (3.7.2~20121215~0f262b3-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, 3.7.2 * Upstream changes in this update: Mantas Mikulėnas (6): [6a9bd7f] Add support for g-s 3.7.2 [bf012b0] Make Player.busName and Player.owner public [7614a63] Fix handling of multiple names owned by same player [2ca7d97] Detect nonstandard VLC instance names [ccf956c] Update .owner property when name owner changes [f7a66dc] Do not change owner for multi-instance Player objects Jean-Philippe Braun (5): [e0ff0c0] Merge pull request #107 from grawity/fix-vlc-multi-instance [4f8899e] Merge pull request #106 from grawity/shell-version [c99569d] Declare variable [33fcfdd] Don't register GTypes [0f262b3] Fix: busName is now public Checksums-Sha1: a26399a6e123da86b7b7661ce2afd626ae942f77 43742 gnome-shell-extensions-mediaplayer_3.7.2~20121215~0f262b3-0ubuntu1~fta1_all.deb Checksums-Sha256: bd35e575d85bd70fedd66efbb522f96657240c65904398a0bc6443f94539da89 43742 gnome-shell-extensions-mediaplayer_3.7.2~20121215~0f262b3-0ubuntu1~fta1_all.deb Files: a96fcae9d01bd4ef34a13924c01f5ce2 43742 gnome optional gnome-shell-extensions-mediaplayer_3.7.2~20121215~0f262b3-0ubuntu1~fta1_all.deb Original-Maintainer: Debian GNOME Maintainers