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

	Name	Last modified	Size	Description
	Parent Directory		-
	gnome-shell-extension-shortcuts_1.7.0.orig.tar.bz2	2026-05-21 11:40	758K
	gnome-shell-extension-shortcuts_1.7.0-1_all.deb	2026-05-21 11:40	16K
	gnome-shell-extension-shortcuts_1.7.0-1.dsc	2026-05-21 11:40	2.1K
	gnome-shell-extension-shortcuts_1.7.0-1.debian...>	2026-05-21 11:40	2.9K
	gnome-shell-extension-shortcuts_1.3.6.orig.tar.gz	2023-03-12 08:26	22K
	gnome-shell-extension-shortcuts_1.3.6-1_all.deb	2023-03-12 08:26	12K
	gnome-shell-extension-shortcuts_1.3.6-1.dsc	2023-03-12 08:26	2.1K
	gnome-shell-extension-shortcuts_1.3.6-1.debian...>	2023-03-12 08:26	2.4K
	gnome-shell-extension-shortcuts_1.1.2.orig.tar.gz	2023-02-24 05:16	20K
	gnome-shell-extension-shortcuts_1.1.2-2_all.deb	2023-02-24 05:16	9.3K
	gnome-shell-extension-shortcuts_1.1.2-2.dsc	2023-02-24 05:16	2.1K
	gnome-shell-extension-shortcuts_1.1.2-2.debian...>	2023-02-24 05:16	2.7K
	gnome-shell-extension-shortcuts_1.1.1.orig.tar.gz	2019-08-27 11:57	20K
	gnome-shell-extension-shortcuts_1.1.1-1_all.deb	2019-08-27 11:57	9.0K
	gnome-shell-extension-shortcuts_1.1.1-1.dsc	2019-08-27 11:57	2.1K
	gnome-shell-extension-shortcuts_1.1.1-1.debian...>	2019-08-27 11:57	2.5K