Index of /seedlin/pool/main/g/gnome-shell-extension-shortcuts/

../
gnome-shell-extension-shortcuts_1.7.0-1.debian...> 11-Jun-2026 20:16                2948
gnome-shell-extension-shortcuts_1.7.0-1.dsc        11-Jun-2026 20:16                2166
gnome-shell-extension-shortcuts_1.7.0-1_all.deb    11-Jun-2026 20:16               16716
gnome-shell-extension-shortcuts_1.7.0.orig.tar.bz2 11-Jun-2026 20:16              776263