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

../
gnome-shell-extension-shortcuts_1.3.6-1.debian...> 19-Dec-2022 08:22                2492
gnome-shell-extension-shortcuts_1.3.6-1.dsc        19-Dec-2022 08:22                2127
gnome-shell-extension-shortcuts_1.3.6-1_all.deb    19-Dec-2022 23:55               12440
gnome-shell-extension-shortcuts_1.3.6.orig.tar.gz  19-Dec-2022 08:22               22474