Merge pull request #148239 from AdsonCicilioti/pop-gtk-theme-2021-08-19

pop-gtk-theme: 2020-06-30 -> 2021-08-19
This commit is contained in:
Thiago Kenji Okada 2021-12-02 10:30:30 -03:00 committed by GitHub
commit 82d173d327
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
@ -14,13 +15,13 @@
stdenv.mkDerivation rec {
pname = "pop-gtk-theme";
version = "2020-06-30";
version = "2021-08-19";
src = fetchFromGitHub {
owner = "pop-os";
repo = "gtk-theme";
rev = "8c31be9f9257375bf7a049069cb4ecbac7d281a1";
sha256 = "16dxxazpllcxlbiblynqq4b65wfn9k1jab8dl69l819v73z303ky";
rev = "6615e4510485c5dc0b379746acc40f538d987c86";
sha256 = "16h03x2m4j4hfwp7pdmw1navcy5q7di38jvigfgf263wajyxbznr";
};
nativeBuildInputs = [