gnomeExtensions.dash-to-panel: 26 -> 31

This commit is contained in:
Tor Hedin Brønner 2020-03-08 17:02:41 +01:00 committed by Jan Tojnar
parent fbca8c8b9f
commit 66268bfe2c
No known key found for this signature in database
GPG Key ID: 7FAB2A15F7A607A4

View File

@ -2,13 +2,13 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "gnome-shell-dash-to-panel"; pname = "gnome-shell-dash-to-panel";
version = "26"; version = "31";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "home-sweet-gnome"; owner = "home-sweet-gnome";
repo = "dash-to-panel"; repo = "dash-to-panel";
rev = "v${version}"; rev = "v${version}";
sha256 = "1phfx2pblygpcvsppsqqqflm7qnz46mqkw29hj0nv2dn69hf4xbc"; sha256 = "A8Ft+tLNv8KlTnVUzrWGavBWpP0u2rhkuG5LZls1A24=";
}; };
buildInputs = [ buildInputs = [
@ -21,6 +21,6 @@ stdenv.mkDerivation rec {
description = "An icon taskbar for Gnome Shell"; description = "An icon taskbar for Gnome Shell";
license = licenses.gpl2; license = licenses.gpl2;
maintainers = with maintainers; [ mounium ]; maintainers = with maintainers; [ mounium ];
homepage = https://github.com/jderose9/dash-to-panel; homepage = "https://github.com/jderose9/dash-to-panel";
}; };
} }