gnomeExtensions.material-shell: 10 -> 12

This commit is contained in:
David Birks 2021-01-05 10:04:13 -05:00
parent 57a787c9fa
commit 5a71da77fa
No known key found for this signature in database
GPG Key ID: BB999F83D9A19A36

View File

@ -2,13 +2,13 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "gnome-shell-extension-material-shell"; pname = "gnome-shell-extension-material-shell";
version = "10"; version = "12";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "material-shell"; owner = "material-shell";
repo = "material-shell"; repo = "material-shell";
rev = version; rev = version;
sha256 = "18d813n8s7ns8xp75zmlna7a8mi23rn9yqps51xvdd0sdgn72a1c"; sha256 = "0ikrh70drwr0pqjcdz7l1ky8xllpnk7myprjd4s61nqkx9j2iz44";
}; };
# This package has a Makefile, but it's used for building a zip for # This package has a Makefile, but it's used for building a zip for