Index of /debian-ports/pool/main/g/gnome-shell-extension-shortcuts

	Name	Last modified	Size	Description
	Parent Directory		-
	gnome-shell-extension-shortcuts_1.7.1-1_all.deb	2025-09-26 17:08	18K
	gnome-shell-extension-shortcuts_1.7.0-1_all.deb	2025-02-17 17:38	16K