Merge pull request #48746 from romildo/upd.sierra-gtk-theme

sierra-gtk-theme: 2018-10-01 -> 2018-10-12
This commit is contained in:
Vladyslav M 2018-10-20 23:34:01 +03:00 committed by GitHub
commit 183310a75b
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 {
name = "sierra-gtk-theme-${version}"; name = "sierra-gtk-theme-${version}";
version = "2018-10-01"; version = "2018-10-12";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "vinceliuice"; owner = "vinceliuice";
repo = "sierra-gtk-theme"; repo = "sierra-gtk-theme";
rev = version; rev = version;
sha256 = "10rjk2lyhlkhhfx6f6r0cykbkxa2jhri4wirc3h2wbzzsx7ch3ix"; sha256 = "0l8mhdy7x8nh5aqsvkk0maqg1cnfds7824g439f6cmifdiyksbgg";
}; };
nativeBuildInputs = [ libxml2 ]; nativeBuildInputs = [ libxml2 ];