gnome/gnome-shell-extensions-extra
1
0
Fork 0
Code Issues Activity

Updating versioned extension provides for GNOME 45 variants.

Browse source 
Signed-off-by: Daniel Baumann <daniel@debian.org>
This commit is contained in:
Daniel Baumann 2025-02-09 23:16:50 +01:00
parent e0dbcb3684
commit 672a2f672d
Signed by: daniel
GPG key ID: FBB4F0E80A80222F
1 changed files with 4 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

9
debian/control vendored
View file

@ -26,11 +26,10 @@ Recommends:
Enhances: Enhances:
gnome-shell, gnome-shell,
Provides: Provides:
gnome-shell-extension-disable-workspace-switcher (= 3), gnome-shell-extension-disable-workspace-switcher (= 3+20231017),
gnome-shell-extension-hibernate-status (= 1.13), gnome-shell-extension-hibernate-status (= 1.14~rc2),
gnome-shell-extension-middleclickclose (= 1.9.1), gnome-shell-extension-middleclickclose (= 29),
gnome-shell-extension-multi-monitors-add-on (= 26), gnome-shell-extension-no-overview (= 45),
gnome-shell-extension-no-overview (= 44),
gnome-shell-extension-vertical-workspaces (= 37+20231208), gnome-shell-extension-vertical-workspaces (= 37+20231208),
Description: Conglomeration package of GNOME Shell extensions Description: Conglomeration package of GNOME Shell extensions
The gnome-shell-extensions-extra contains the following extensions for The gnome-shell-extensions-extra contains the following extensions for