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

papirus-icon-theme: 20191009 -> 20191101
This commit is contained in:
Renaud 2019-11-02 22:56:45 +01:00 committed by GitHub
commit 5f5bfce078
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,20 +2,18 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "papirus-icon-theme"; pname = "papirus-icon-theme";
version = "20191009"; version = "20191101";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "PapirusDevelopmentTeam"; owner = "PapirusDevelopmentTeam";
repo = pname; repo = pname;
rev = version; rev = version;
sha256 = "1ljbaq0c6rhvfwj5q2kvd6rxbjykb0sbgcpjrxrzpdy08zr1kdvd"; sha256 = "17as9i5b9wqzvj08hwxqk9dlv6hrvkylns85s8gzhv6b5x2q5ma3";
}; };
nativeBuildInputs = [ gtk3 ]; nativeBuildInputs = [ gtk3 ];
propagatedBuildInputs = [ propagatedBuildInputs = [ hicolor-icon-theme ];
hicolor-icon-theme
];
dontDropIconThemeCache = true; dontDropIconThemeCache = true;