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

../
gnome-shell-extension-shortcuts_1.3.6-1.debian...> 20-Apr-2023 14:02                2492
gnome-shell-extension-shortcuts_1.3.6-1.dsc        20-Apr-2023 14:02                2127
gnome-shell-extension-shortcuts_1.3.6-1_all.deb    20-Apr-2023 14:02               12440
gnome-shell-extension-shortcuts_1.3.6.orig.tar.gz  20-Apr-2023 14:02               22474