Merge pull request #56327 from romildo/upd.numix-icon-theme-circle

numix-icon-theme-circle: 19.01.24 -> 19.02.22; numix-icon-theme-square: 19.01.24 -> 19.02.22
This commit is contained in:
worldofpeace 2019-02-24 23:43:58 -05:00 committed by GitHub
commit da16e98850
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 4 deletions

View File

@ -2,13 +2,13 @@
stdenv.mkDerivation rec {
pname = "numix-icon-theme-circle";
version = "19.01.24";
version = "19.02.22";
src = fetchFromGitHub {
owner = "numixproject";
repo = pname;
rev = version;
sha256 = "18asihcv41jlysb2ynbvbk6fn0lnj7ckaz1nyx1w25a7nk413dnm";
sha256 = "10jh633rllp9yjfkjjyf8455n84q7ppxw1kk9dp1rsg4dq327ks7";
};
nativeBuildInputs = [ gtk3 numix-icon-theme ];

View File

@ -2,13 +2,13 @@
stdenv.mkDerivation rec {
pname = "numix-icon-theme-square";
version = "19.01.24";
version = "19.02.22";
src = fetchFromGitHub {
owner = "numixproject";
repo = pname;
rev = version;
sha256 = "0x3d21snfp4v9ippny1jmf2hw5dcscwrlasxvr5bgxhff1idf81c";
sha256 = "0qn0s7cd795pm0hbx85gxd1s272zxrzf3r9r6da54h149v3wkgzw";
};
nativeBuildInputs = [ gtk3 numix-icon-theme ];