Index of /pureos/pool/main/g/gnome-shell-extension-shortcuts/
../
gnome-shell-extension-shortcuts_1.1.1-1.debian...> 16-Jan-2018 07:52 2548
gnome-shell-extension-shortcuts_1.1.1-1.dsc 16-Jan-2018 07:52 2147
gnome-shell-extension-shortcuts_1.1.1-1_all.deb 16-Jan-2018 07:58 9256
gnome-shell-extension-shortcuts_1.1.1.orig.tar.gz 16-Jan-2018 07:52 20K
gnome-shell-extension-shortcuts_1.1.2-2.debian...> 24-Nov-2020 08:41 2796
gnome-shell-extension-shortcuts_1.1.2-2.dsc 24-Nov-2020 08:41 2127
gnome-shell-extension-shortcuts_1.1.2-2_all.deb 24-Nov-2020 08:50 9540
gnome-shell-extension-shortcuts_1.1.2.orig.tar.gz 24-Nov-2020 08:41 20K
gnome-shell-extension-shortcuts_1.3.6-1.debian...> 14-Jun-2023 15:52 2492
gnome-shell-extension-shortcuts_1.3.6-1.dsc 14-Jun-2023 15:52 2127
gnome-shell-extension-shortcuts_1.3.6-1_all.deb 15-Jun-2023 01:26 12K
gnome-shell-extension-shortcuts_1.3.6.orig.tar.gz 14-Jun-2023 15:52 22K
gnome-shell-extension-shortcuts_1.7.0-1.debian...> 22-Feb-2025 06:12 2948
gnome-shell-extension-shortcuts_1.7.0-1.dsc 22-Feb-2025 06:12 2166
gnome-shell-extension-shortcuts_1.7.0-1_all.deb 22-Feb-2025 06:18 16K
gnome-shell-extension-shortcuts_1.7.0.orig.tar.bz2 22-Feb-2025 06:12 758K