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

../
gnome-shell-extension-shortcuts_1.3.6-1.debian...> 08-May-2024 15:14                2492
gnome-shell-extension-shortcuts_1.3.6-1.dsc        08-May-2024 15:14                2127
gnome-shell-extension-shortcuts_1.3.6-1_all.deb    26-May-2024 03:57               12440
gnome-shell-extension-shortcuts_1.3.6.orig.tar.gz  08-May-2024 15:14               22474