Merge pull request #218735 from bobby285271/upd/pantheon.granite7

pantheon.granite7: 7.1.0 -> 7.2.0
This commit is contained in:
Bobby Rong 2023-02-28 19:31:42 +08:00 committed by GitHub
commit 0de5a943cd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -18,7 +18,7 @@
stdenv.mkDerivation rec {
pname = "granite";
version = "7.1.0";
version = "7.2.0";
outputs = [ "out" "dev" ];
@ -26,7 +26,7 @@ stdenv.mkDerivation rec {
owner = "elementary";
repo = pname;
rev = version;
sha256 = "sha256-tdZSiIK+BW8uhbRxLUcrGQt71jRfVLOTgFNOqeLK6ig=";
sha256 = "sha256-LU2eIeaNqO4/6dPUuzOQ/w4tx0dEm26JwZ87yQ16c4o=";
};
nativeBuildInputs = [