Merge pull request #47841 from dtzWill/update/tetra-gtk-theme-0.2.0

tetra-gtk-theme: 0.1.6 -> 0.2.0
This commit is contained in:
Jörg Thalheim 2018-10-04 20:19:19 +01:00 committed by GitHub
commit 429b3ce810
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 = "tetra-gtk-theme-${version}"; name = "tetra-gtk-theme-${version}";
version = "0.1.6"; version = "0.2.0";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "hrdwrrsk"; owner = "hrdwrrsk";
repo = "tetra-gtk-theme"; repo = "tetra-gtk-theme";
rev = version; rev = version;
sha256 = "0jdgj7ac9842cgrjnzdqlf1f3hlf9v7xk377pvqcz2lwcr1dfaxz"; sha256 = "1lzkmswv3ml2zj80z067j1hj1cvpdcl86jllahqx3jwnmr0a4fhd";
}; };
preBuild = '' preBuild = ''