Merge pull request #31664 from matthiasbeyer/update-papirus-icon-theme

papirus-icon-theme: 20170715 -> 20171102
This commit is contained in:
Jörg Thalheim 2017-11-14 15:30:49 +00:00 committed by GitHub
commit 50103ecdbb
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 = "20170715";
version = "20171102";
src = fetchFromGitHub {
owner = "PapirusDevelopmentTeam";
repo = "papirus-icon-theme";
rev = "${version}";
sha256 = "0mpmgpjwc7azhypvrlnxaa0c4jc6g7vgy242apxrn8jcv9ndmwyk";
sha256 = "10q7ppizzqi8c564jydqivia43gp4j1z984igfyym2mdwdw71mzq";
};
dontBuild = true;