Merge pull request #94823 from romildo/upd.theme-jade-1

theme-jade1: 1.7 -> 1.8
This commit is contained in:
José Romildo Malaquias 2020-08-13 09:28:15 -03:00 committed by GitHub
commit d228d3f205
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,13 +2,13 @@
stdenv.mkDerivation rec {
pname = "theme-jade1";
version = "1.7";
version = "1.8";
src = fetchFromGitHub {
owner = "madmaxms";
repo = "theme-jade-1";
rev = "v${version}";
sha256 = "19vg95bf0ylmfhg0frs2k0k7c0wfn933h06wrklb9p5qy84hfig3";
sha256 = "1nvn2ghkdhilrsjpvl7r92aldvbs0nx0xc82jwrfaahi87dgfs8x";
};
propagatedUserEnvPkgs = [ gtk-engine-murrine ];