From 801de40db9a0a67f584ee064cefe2c1702b53801 Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Wed, 12 Feb 2025 16:23:50 +0100 Subject: [PATCH] Updating versioned provides for new upstream version. Signed-off-by: Daniel Baumann --- debian/control | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/debian/control b/debian/control index 11e732a..784d027 100644 --- a/debian/control +++ b/debian/control @@ -32,9 +32,9 @@ Provides: gnome-shell-extension-disable-workspace-switcher (= 3+20231017), gnome-shell-extension-hibernate-status (= 1.16~rc1), 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-vertical-workspaces (= 46.2+20240828), + gnome-shell-extension-vertical-workspaces (= 47.5+20250210), Description: Conglomeration package of GNOME Shell extensions The gnome-shell-extensions-extra contains the following extensions for GNOME Shell: