Merge pull request #83626 from romildo/upd.theme-jade1

theme-jade1: 1.6 -> 1.7
This commit is contained in:
Benjamin Hipple 2020-03-28 20:32:11 -04:00 committed by GitHub
commit 2b8d1b64d5
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,13 +2,13 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "theme-jade1"; pname = "theme-jade1";
version = "1.6"; version = "1.7";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "madmaxms"; owner = "madmaxms";
repo = "theme-jade-1"; repo = "theme-jade-1";
rev = "v${version}"; rev = "v${version}";
sha256 = "1lnajrsikw6dljf6dvgmj8aqwywmgdp34h3xsc0xiyq07arhp606"; sha256 = "19vg95bf0ylmfhg0frs2k0k7c0wfn933h06wrklb9p5qy84hfig3";
}; };
propagatedUserEnvPkgs = [ gtk-engine-murrine ]; propagatedUserEnvPkgs = [ gtk-engine-murrine ];
@ -19,7 +19,7 @@ stdenv.mkDerivation rec {
''; '';
meta = with stdenv.lib; { meta = with stdenv.lib; {
description = "Fork of the original Linux Mint theme with dark menus, more intensive green and some other modifications"; description = "Based on Linux Mint theme with dark menus and more intensive green";
homepage = "https://github.com/madmaxms/theme-jade-1"; homepage = "https://github.com/madmaxms/theme-jade-1";
license = with licenses; [ gpl3 ]; license = with licenses; [ gpl3 ];
platforms = platforms.linux; platforms = platforms.linux;