Package: gnome-shell-extension-mediaplayer
Architecture: all
Version: 3.5-3
Priority: optional
Section: universe/gnome
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Simon McVittie <smcv@debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 300
Depends: gnome-shell (<< 3.29), gnome-shell (>= 3.18)
Recommends: gnome-tweaks
Filename: pool/universe/g/gnome-shell-extension-mediaplayer/gnome-shell-extension-mediaplayer_3.5-3_all.deb
Size: 45516
MD5sum: 0095ba96e8bfe8a8d788a87529f8b621
SHA1: cbbfea535c700defc7ee4f946d36a09579897fd3
SHA256: f7bc2ad816c8dc65ee88e6fd60440e873310d742d11bcfe7e2a018f6094d8aa6
Homepage: https://github.com/JasonLG1979/gnome-shell-extensions-mediaplayer
Description: GNOME Shell extension to control media players
Description-md5: 9298a6cadab9a87a30bd3e922d90475c