Index of /deepin/beige/pool/community/g/gnome-shell-extension-shortcuts/

../
gnome-shell-extension-shortcuts_1.7.0-1.debian...> 18-Jul-2025 07:56    2948
gnome-shell-extension-shortcuts_1.7.0-1.dsc        18-Jul-2025 07:56    1250
gnome-shell-extension-shortcuts_1.7.0-1_all.deb    16-Jul-2025 09:32     16K
gnome-shell-extension-shortcuts_1.7.0.orig.tar.bz2 18-Jul-2025 07:56    758K

mirror server hosted at Truenetwork, Russian Federation.