gnomeExtensions.mediaplayer: 3.5 -> 2019-03-21

* GNOME 3.32 support [0]

Also note this extension is being retired [1]

[0]: c2483c18d8
[1]: https://github.com/JasonLG1979/gnome-shell-extensions-mediaplayer/issues/478
This commit is contained in:
worldofpeace 2019-04-02 17:04:05 -04:00 committed by Jan Tojnar
parent 974fefea4d
commit 98bf715f8a
No known key found for this signature in database
GPG Key ID: 7FAB2A15F7A607A4

View File

@ -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 = [