Merge pull request #148246 from AdsonCicilioti/pop-icon-theme-2021-11-17

pop-icon-theme: 2020-03-04 -> 2021-11-17
This commit is contained in:
Thiago Kenji Okada 2021-12-02 10:33:26 -03:00 committed by GitHub
commit 11ee96c4eb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,4 +1,5 @@
{ lib, stdenv
{ lib
, stdenv
, fetchFromGitHub
, meson
, ninja
@ -11,13 +12,13 @@
stdenv.mkDerivation rec {
pname = "pop-icon-theme";
version = "2020-03-04";
version = "2021-11-17";
src = fetchFromGitHub {
owner = "pop-os";
repo = "icon-theme";
rev = "11f18cb48455b47b6535018f1968777100471be1";
sha256 = "1s4pjwv2ynw400gnzgzczlxzw3gxh5s8cxxbi9zpxq4wzjg6jqyv";
rev = "9998b20b78f3ff65ecbf2253bb863d1e669abe74";
sha256 = "0lwdmaxs9xj4bm21ldh64bzyb6iz5d5k1256iwvyjp725l7686cl";
};
nativeBuildInputs = [