Merge pull request #62991 from romildo/upd.papirus-icon-theme

papirus-icon-theme: 20190501 -> 20190521
This commit is contained in:
worldofpeace 2019-06-12 00:33:44 -04:00 committed by GitHub
commit 20fa419ee8
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,14 +1,14 @@
{ stdenv, fetchFromGitHub, gtk3 }:
stdenv.mkDerivation rec {
name = "papirus-icon-theme-${version}";
version = "20190501";
pname = "papirus-icon-theme";
version = "20190521";
src = fetchFromGitHub {
owner = "PapirusDevelopmentTeam";
repo = "papirus-icon-theme";
repo = pname;
rev = version;
sha256 = "1sdzbvlzzg42vqahjqcsj6v87y1xhchw7bgiv8jgwd2n4l3gg2zy";
sha256 = "192s14bf2ni46jkiifbsl82qy1miy8fnxs2fpqwf6s6jlv9x4zxs";
};
nativeBuildInputs = [ gtk3 ];
@ -28,6 +28,8 @@ stdenv.mkDerivation rec {
description = "Papirus icon theme";
homepage = https://github.com/PapirusDevelopmentTeam/papirus-icon-theme;
license = licenses.lgpl3;
platforms = platforms.all;
# darwin gives hash mismatch in source, probably because of file names differing only in case
platforms = platforms.linux;
maintainers = with maintainers; [ romildo ];
};
}