Merge pull request #84137 from romildo/upd.theme-obsidian-2

theme-obsidian2: 2.10 -> 2.11
This commit is contained in:
José Romildo Malaquias 2020-04-03 23:32:18 -03:00 committed by GitHub
commit 340c953ef0
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,13 +2,13 @@
stdenv.mkDerivation rec {
pname = "theme-obsidian2";
version = "2.10";
version = "2.11";
src = fetchFromGitHub {
owner = "madmaxms";
repo = "theme-obsidian-2";
rev = "v${version}";
sha256 = "123f6hpz0h5xfmas44xa1ci68w8f3lcjj54jpnrqhsww66c9vs0i";
sha256 = "0n64cml2h8dw2m2m6j90d515saqapqzjz6xcv4kr544ibv62hn61";
};
propagatedUserEnvPkgs = [ gtk-engine-murrine ];
@ -22,7 +22,7 @@ stdenv.mkDerivation rec {
meta = with stdenv.lib; {
description = "Gnome theme, based upon Adwaita-Maia dark skin";
homepage = https://github.com/madmaxms/theme-obsidian-2;
homepage = "https://github.com/madmaxms/theme-obsidian-2";
license = with licenses; [ gpl3 ];
platforms = platforms.linux;
maintainers = [ maintainers.romildo ];