Merge pull request #60683 from dtzWill/update/papirus-icon-theme-201905

papirus-icon-theme: 20190331 -> 20190501
This commit is contained in:
Renaud 2019-05-04 20:59:14 +02:00 committed by GitHub
commit d39a87bf68
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,13 +2,13 @@
stdenv.mkDerivation rec {
name = "papirus-icon-theme-${version}";
version = "20190331";
version = "20190501";
src = fetchFromGitHub {
owner = "PapirusDevelopmentTeam";
repo = "papirus-icon-theme";
rev = version;
sha256 = "0kprnax26qwnxjcd0rrgdbj00835byaamkabjxi2z8lh0k47ap85";
sha256 = "1sdzbvlzzg42vqahjqcsj6v87y1xhchw7bgiv8jgwd2n4l3gg2zy";
};
nativeBuildInputs = [ gtk3 ];