Merge pull request #285945 from FedericoSchonborn/budgie-desktop-10.9-1

budgie.budgie-desktop: 10.9 -> 10.9.1
This commit is contained in:
Bobby Rong 2024-02-03 11:48:27 +08:00 committed by GitHub
commit f8d3e49faa
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -37,14 +37,14 @@
stdenv.mkDerivation (finalAttrs: { stdenv.mkDerivation (finalAttrs: {
pname = "budgie-desktop"; pname = "budgie-desktop";
version = "10.9"; version = "10.9.1";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "BuddiesOfBudgie"; owner = "BuddiesOfBudgie";
repo = "budgie-desktop"; repo = "budgie-desktop";
rev = "v${finalAttrs.version}"; rev = "v${finalAttrs.version}";
fetchSubmodules = true; fetchSubmodules = true;
hash = "sha256-yyuLBzTDEQH7rBOWTYBvS+3x2mlbF34f7U7oOUO8BeA="; hash = "sha256-H+J/zFUjiXbr5ynDkkjrRsEbyO4LPOhqe8DdG60ikRw=";
}; };
patches = [ patches = [