Merge pull request #228428 from FedericoSchonborn/budgie-desktop-10.7.2

budgie.budgie-desktop: 10.7.1 -> 10.7.2
This commit is contained in:
Bobby Rong 2023-04-27 10:30:01 +08:00 committed by GitHub
commit a7eb77e921
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 6 additions and 2 deletions

View File

@ -119,6 +119,9 @@ in {
# Required by Budgie Menu. # Required by Budgie Menu.
gnome-menus gnome-menus
# Required by Budgie Control Center.
gnome.zenity
# Provides `gsettings`. # Provides `gsettings`.
glib glib

View File

@ -36,14 +36,14 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "budgie-desktop"; pname = "budgie-desktop";
version = "10.7.1"; version = "10.7.2";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "BuddiesOfBudgie"; owner = "BuddiesOfBudgie";
repo = pname; repo = pname;
rev = "v${version}"; rev = "v${version}";
fetchSubmodules = true; fetchSubmodules = true;
sha256 = "sha256-ww65J9plixbxFza6xCfaz1WYtT9giKkLVH1XYxH41+0="; hash = "sha256-fd3B2DMZxCI4Gb9mwdACjIPydKghXx8IkhFpMS/Clps=";
}; };
patches = [ patches = [
@ -71,6 +71,7 @@ stdenv.mkDerivation rec {
gnome.gnome-bluetooth_1_0 gnome.gnome-bluetooth_1_0
gnome.gnome-settings-daemon gnome.gnome-settings-daemon
gnome.mutter gnome.mutter
gnome.zenity
graphene graphene
gtk3 gtk3
ibus ibus