Index of /pub2/Linux/ubuntu/pool/universe/g/gnome-shell-extension-shortcuts
Parent Directory
gnome-shell-extension-shortcuts_1.1.1-1.debian.tar.xz
gnome-shell-extension-shortcuts_1.1.1-1.dsc
gnome-shell-extension-shortcuts_1.1.1-1_all.deb
gnome-shell-extension-shortcuts_1.1.1.orig.tar.gz