From 98bf715f8a885457622a5133888c51b3ba4a14af Mon Sep 17 00:00:00 2001
From: worldofpeace <worldofpeace@users.noreply.github.com>
Date: Tue, 2 Apr 2019 17:04:05 -0400
Subject: [PATCH] gnomeExtensions.mediaplayer: 3.5 -> 2019-03-21

* GNOME 3.32 support [0]

Also note this extension is being retired [1]

[0]: https://github.com/JasonLG1979/gnome-shell-extensions-mediaplayer/commit/c2483c18d8910cdc36b44eb01422032ab6048ba9
[1]: https://github.com/JasonLG1979/gnome-shell-extensions-mediaplayer/issues/478
---
 pkgs/desktops/gnome-3/extensions/mediaplayer/default.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/pkgs/desktops/gnome-3/extensions/mediaplayer/default.nix b/pkgs/desktops/gnome-3/extensions/mediaplayer/default.nix
index 6038443944f2..686d7be91a47 100644
--- a/pkgs/desktops/gnome-3/extensions/mediaplayer/default.nix
+++ b/pkgs/desktops/gnome-3/extensions/mediaplayer/default.nix
@@ -2,13 +2,13 @@
 
 stdenv.mkDerivation rec {
   name = "gnome-shell-extensions-mediaplayer-${version}";
-  version = "3.5";
+  version = "unstable-2019-03-21";
 
   src = fetchFromGitHub {
     owner = "JasonLG1979";
     repo = "gnome-shell-extensions-mediaplayer";
-    rev = version;
-    sha256 = "0b8smid9vdybgs0601q9chlbgfm1rzrj3vmd3i6p2a5d1n4fyvsc";
+    rev = "b382c98481fa421501684e2ff3eafc53971ef22b";
+    sha256 = "01z2dml8dvl5sljw62g7x19mz02dz1g4gkmyp0h5bx49djcw1nnh";
   };
 
   nativeBuildInputs = [