Format: 1.8
Date: Sun, 25 Feb 2018 17:21:06 +0000
Source: gnome-shell-extension-mediaplayer
Binary: gnome-shell-extension-mediaplayer
Architecture: all
Version: 3.5-3
Distribution: bionic-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@lgw01-amd64-003.buildd>
Changed-By: Simon McVittie <smcv@debian.org>
Description:
 gnome-shell-extension-mediaplayer - GNOME Shell extension to control media players
Changes:
 gnome-shell-extension-mediaplayer (3.5-3) unstable; urgency=medium
 .
   * Recommend gnome-tweaks, renamed from gnome-tweak-tool
   * Bump upper bound on gnome-shell dependency to 3.29
Checksums-Sha1:
 cbbfea535c700defc7ee4f946d36a09579897fd3 45516 gnome-shell-extension-mediaplayer_3.5-3_all.deb
 b23e5f04ff84354eed95e7137c8236c9ac7fc77b 6786 gnome-shell-extension-mediaplayer_3.5-3_amd64.buildinfo
Checksums-Sha256:
 f7bc2ad816c8dc65ee88e6fd60440e873310d742d11bcfe7e2a018f6094d8aa6 45516 gnome-shell-extension-mediaplayer_3.5-3_all.deb
 f3ae3de2c24423b66794048dbbc8da8e8b400d074ea0b5b7b98769377c20a8fe 6786 gnome-shell-extension-mediaplayer_3.5-3_amd64.buildinfo
Files:
 0095ba96e8bfe8a8d788a87529f8b621 45516 gnome optional gnome-shell-extension-mediaplayer_3.5-3_all.deb
 77fdcf922756e4324dc3b36c5b445781 6786 gnome optional gnome-shell-extension-mediaplayer_3.5-3_amd64.buildinfo