Merge pull request #248073 from bobby285271/upd/pantheon

pantheon.elementary-icon-theme: 7.3.0 -> 7.3.1
This commit is contained in:
Bobby Rong 2023-08-09 23:00:10 +08:00 committed by GitHub
commit 25cfddf2f8
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -13,13 +13,13 @@
stdenvNoCC.mkDerivation rec { stdenvNoCC.mkDerivation rec {
pname = "elementary-icon-theme"; pname = "elementary-icon-theme";
version = "7.3.0"; version = "7.3.1";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "elementary"; owner = "elementary";
repo = "icons"; repo = "icons";
rev = version; rev = version;
sha256 = "sha256-4ZXqIMXyb9MLd6EHmPn672Dbw992GYYU64oB+4p6jXY="; sha256 = "sha256-3qvbpY1O8E3sX+66yBoZXEOeWQrgyNu2rOT6PPbli58=";
}; };
nativeBuildInputs = [ nativeBuildInputs = [