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

Updating versioned provides for new upstream version.

Browse source 
Signed-off-by: Daniel Baumann <daniel@debian.org>
This commit is contained in:
Daniel Baumann 2025-02-12 16:23:50 +01:00
parent 627f0a05ea
commit 801de40db9
Signed by: daniel
GPG key ID: FBB4F0E80A80222F
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
debian/control vendored
View file

@ -32,9 +32,9 @@ Provides:
gnome-shell-extension-disable-workspace-switcher (= 3+20231017), gnome-shell-extension-disable-workspace-switcher (= 3+20231017),
gnome-shell-extension-hibernate-status (= 1.16~rc1), gnome-shell-extension-hibernate-status (= 1.16~rc1),
gnome-shell-extension-just-perfection (= 34.0), gnome-shell-extension-just-perfection (= 34.0),
gnome-shell-extension-middleclickclose (= 31), gnome-shell-extension-middleclickclose (= 32),
gnome-shell-extension-no-overview (= 46), gnome-shell-extension-no-overview (= 46),
gnome-shell-extension-vertical-workspaces (= 46.2+20240828), gnome-shell-extension-vertical-workspaces (= 47.5+20250210),
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
GNOME Shell: GNOME Shell: