Index of /debian13/archive/pool/main/g/gnome-shell-extension-shortcuts/

../
gnome-shell-extension-shortcuts_1.7.0-1.debian...> 09-Aug-2026 22:49    2948
gnome-shell-extension-shortcuts_1.7.0-1.dsc        09-Aug-2026 22:49    2166
gnome-shell-extension-shortcuts_1.7.0-1_all.deb    08-Aug-2026 22:55     16K
gnome-shell-extension-shortcuts_1.7.0.orig.tar.bz2 09-Aug-2026 22:49    758K