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

theme-obsidian2: 2.11 -> 2.12
This commit is contained in:
Benjamin Hipple 2020-05-10 17:40:24 -04:00 committed by GitHub
commit b03233dbbb
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.11";
version = "2.12";
src = fetchFromGitHub {
owner = "madmaxms";
repo = "theme-obsidian-2";
rev = "v${version}";
sha256 = "0n64cml2h8dw2m2m6j90d515saqapqzjz6xcv4kr544ibv62hn61";
sha256 = "1srl6wm6fjdc5pi9fjl5nghn4q40hn5jcxxl8qjvz8lkczylynnb";
};
propagatedUserEnvPkgs = [ gtk-engine-murrine ];