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

Adding individual versions to provides.

Browse source 
Signed-off-by: Daniel Baumann <daniel@debian.org>
This commit is contained in:
Daniel Baumann 2025-02-09 23:14:18 +01:00
parent 1f45d2f83a
commit ffba5b7fae
Signed by: daniel
GPG key ID: FBB4F0E80A80222F
1 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
debian/control vendored
View file

@ -26,12 +26,12 @@ Recommends:
Enhances:
gnome-shell,
Provides:
gnome-shell-extension-disable-workspace-switcher,
gnome-shell-extension-hibernate-status,
gnome-shell-extension-middleclickclose,
gnome-shell-extension-multi-monitors-add-on,
gnome-shell-extension-no-overview,
gnome-shell-extension-vertical-workspaces,
gnome-shell-extension-disable-workspace-switcher (= 2),
gnome-shell-extension-hibernate-status (= 20230505),
gnome-shell-extension-middleclickclose (= 1.9.1),
gnome-shell-extension-multi-monitors-add-on (= 26),
gnome-shell-extension-no-overview (= 12),
gnome-shell-extension-vertical-workspaces (= 28),
Description: Conglomeration package of GNOME Shell extensions
The gnome-shell-extensions-extra contains the following extensions for
GNOME Shell: