../ gnome-shell-extension-shortcuts_1.3.6-1.dsc 19-Dec-2022 17:52 2127 gnome-shell-extension-shortcuts_1.3.6-1_all.deb 20-Dec-2022 09:25 12K gnome-shell-extension-shortcuts_1.7.0-1.dsc 17-Feb-2025 18:48 2166 gnome-shell-extension-shortcuts_1.7.0-1_all.deb 17-Feb-2025 19:08 16K gnome-shell-extension-shortcuts_1.7.0.orig.tar.bz2 17-Feb-2025 18:48 758K