Format: 1.8 Date: Sat, 22 Sep 2012 01:00:13 +0200 Source: gnome-shell-extensions-mediaplayer Binary: gnome-shell-extensions-mediaplayer Architecture: all Version: 0~20120922~98a1c31-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~20120922~98a1c31-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: Jean-Philippe Braun (5): [82426e1] Use notification-icon-button CSS class for buttons [0969b11] New style classes [e87d29a] Add g-s 3.6 support (Closes #89) [1d8ec83] Update documentation [2c6c104] Add g-s 3.5.92 Fabien Tassin (1): [98a1c31] Merge branch 'master' of https://github.com/eonpatapon/gnome-shell-extensions-mediaplayer KEIII (1): [1b7c7bc] Improve quit button style Checksums-Sha1: 86ff642db93c79ef6170ce838e77334c78c40208 41112 gnome-shell-extensions-mediaplayer_0~20120922~98a1c31-0ubuntu1~fta1_all.deb Checksums-Sha256: b4e89b469790d76a8da1c89bfe969d2d444bcdd416000ca831a4695141923800 41112 gnome-shell-extensions-mediaplayer_0~20120922~98a1c31-0ubuntu1~fta1_all.deb Files: c1d29ecf04061014f1e51701b46c3f11 41112 gnome optional gnome-shell-extensions-mediaplayer_0~20120922~98a1c31-0ubuntu1~fta1_all.deb Original-Maintainer: Debian GNOME Maintainers