gnomeExtensions.dash-to-panel: 16 -> 19

This commit is contained in:
Tor Hedin Brønner 2019-03-10 02:34:37 +01:00 committed by Jan Tojnar
parent a0b5ada01c
commit 789da0b05a
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-dash-to-panel-${version}";
version = "16";
version = "19";
src = fetchFromGitHub {
owner = "jderose9";
owner = "home-sweet-gnome";
repo = "dash-to-panel";
rev = "v${version}";
sha256 = "1gi2qfinafihax0j0rbs1k5nf6msdv86gzl2vfkc8s6gfkncv9bp";
sha256 = "0r26ph6zq87kvglydv00rf24mshz7l4r38zf9niyp3mxyzz6rwys";
};
buildInputs = [