Merge pull request #33354 from romildo/upd.deepin-gtk-theme

deepin-gtk-theme: 17.10.4 -> 17.10.5
This commit is contained in:
Joachim F 2018-01-03 01:19:16 +00:00 committed by GitHub
commit 7e0b155c0e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,13 +2,13 @@
stdenv.mkDerivation rec {
name = "deepin-gtk-theme-${version}";
version = "17.10.4";
version = "17.10.5";
src = fetchFromGitHub {
owner = "linuxdeepin";
repo = "deepin-gtk-theme";
rev = version;
sha256 = "1hb0y72fzmcj2yl6q7mbc0c7yxkd1qgnyw4vixdqxnxk2c82sxzw";
sha256 = "0ff1yg4gz4p7nd0qg3dcbsiw8yqlvqccm55kxi998w8j1wrg6pq3";
};
propagatedUserEnvPkgs = [ gtk-engine-murrine ];