From b22be4d1f618ae4d8382c8459c0edd7db0ca1169 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sun, 9 Feb 2025 23:20:08 +0100 Subject: [PATCH] Updating provides for new upstream versions. Signed-off-by: Daniel Baumann --- debian/control | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/debian/control b/debian/control index 9275f18..88dda32 100644 --- a/debian/control +++ b/debian/control @@ -28,10 +28,10 @@ Enhances: gnome-shell, Provides: gnome-shell-extension-disable-workspace-switcher (= 3+20231017), - gnome-shell-extension-hibernate-status (= 1.15), - gnome-shell-extension-middleclickclose (= 30), + gnome-shell-extension-hibernate-status (= 1.16~rc1), + gnome-shell-extension-middleclickclose (= 31), gnome-shell-extension-no-overview (= 46), - gnome-shell-extension-vertical-workspaces (= 37+20240412), + gnome-shell-extension-vertical-workspaces (= 46.2+20240828), Description: Conglomeration package of GNOME Shell extensions The gnome-shell-extensions-extra contains the following extensions for GNOME Shell: