Merge pull request #93914 from romildo/upd.theme-obsidian2

theme-obsidian2: 2.12 -> 2.13
This commit is contained in:
xeji 2020-07-30 23:10:19 +02:00 committed by GitHub
commit 86c7e6499b
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.12";
version = "2.13";
src = fetchFromGitHub {
owner = "madmaxms";
repo = "theme-obsidian-2";
rev = "v${version}";
sha256 = "1srl6wm6fjdc5pi9fjl5nghn4q40hn5jcxxl8qjvz8lkczylynnb";
sha256 = "1chbz1cbkbfzk8835x1dywk38d7wjh90myajgk5f7v2zgnvbya23";
};
propagatedUserEnvPkgs = [ gtk-engine-murrine ];