Index of /debian/pool/main/g/gnome-shell-extension-shortcuts/
../
gnome-shell-extension-shortcuts_1.1.2-2.debian...> 19-Nov-2020 01:57    2796
gnome-shell-extension-shortcuts_1.1.2-2.dsc        19-Nov-2020 01:57    2127
gnome-shell-extension-shortcuts_1.1.2-2_all.deb    19-Nov-2020 02:28    9540
gnome-shell-extension-shortcuts_1.1.2.orig.tar.gz  18-Nov-2020 22:29     20K
gnome-shell-extension-shortcuts_1.3.6-1.debian...> 19-Dec-2022 11:52    2492
gnome-shell-extension-shortcuts_1.3.6-1.dsc        19-Dec-2022 11:52    2127
gnome-shell-extension-shortcuts_1.3.6-1_all.deb    20-Dec-2022 03:25     12K
gnome-shell-extension-shortcuts_1.3.6.orig.tar.gz  19-Dec-2022 11:52     22K
gnome-shell-extension-shortcuts_1.7.0-1.debian...> 17-Feb-2025 12:48    2948
gnome-shell-extension-shortcuts_1.7.0-1.dsc        17-Feb-2025 12:48    2166
gnome-shell-extension-shortcuts_1.7.0-1_all.deb    17-Feb-2025 13:08     16K
gnome-shell-extension-shortcuts_1.7.0.orig.tar.bz2 17-Feb-2025 12:48    758K
gnome-shell-extension-shortcuts_1.7.2-1.debian...> 04-Nov-2025 16:42    3208
gnome-shell-extension-shortcuts_1.7.2-1.dsc        04-Nov-2025 16:42    2142
gnome-shell-extension-shortcuts_1.7.2-1_all.deb    04-Nov-2025 17:03     18K
gnome-shell-extension-shortcuts_1.7.2.orig.tar.bz2 04-Nov-2025 16:42    759K