Merge pull request #57198 from dtzWill/update/tetra-gtk-theme-201903

tetra-gtk-theme: 201902 -> 201903
This commit is contained in:
Will Dietz 2019-03-11 05:17:51 -05:00 committed by GitHub
commit 3322f81fa7
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 = "201902"; version = "201903";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "hrdwrrsk"; owner = "hrdwrrsk";
repo = "tetra-gtk-theme"; repo = "tetra-gtk-theme";
rev = version; rev = version;
sha256 = "0xvp85mzgh5msr3s6wl9xagz2xxqmy3s9jndbmwh1cc79fycggqv"; sha256 = "0ycxvz16gg8rjlg71dzbfnqlh0y62v35j8dvgs8rckfb48xm0xvs";
}; };
preBuild = '' preBuild = ''