Index of /debian-ports/pool/main/g/gnome-shell-extension-shortcuts/
Name
Size
Date
📁 ../
-
-
📄 gnome-shell-extension-shortcuts_1.7.2-1_all.deb
18324 bytes
2025-11-04 13:33:15