../ gnome-shell-extension-shortcuts_1.7.0-ok1.debia..> 05-Nov-2025 08:19 3012 gnome-shell-extension-shortcuts_1.7.0-ok1.dsc 05-Nov-2025 08:19 1979 gnome-shell-extension-shortcuts_1.7.0-ok1_all.deb 05-Nov-2025 08:54 16820 gnome-shell-extension-shortcuts_1.7.0.orig.tar.bz2 05-Nov-2025 08:19 776263