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

	Name	Last modified	Size
	Parent Directory		-
	gnome-shell-extension-shortcuts_1.1.2-2.debian.tar.xz	2020-11-19 09:27	2.7K
	gnome-shell-extension-shortcuts_1.1.2-2.dsc	2020-11-19 09:27	2.1K
	gnome-shell-extension-shortcuts_1.1.2-2_all.deb	2020-11-19 09:58	9.3K
	gnome-shell-extension-shortcuts_1.1.2.orig.tar.gz	2020-11-19 05:59	20K
	gnome-shell-extension-shortcuts_1.3.6-1.debian.tar.xz	2022-12-19 19:22	2.4K
	gnome-shell-extension-shortcuts_1.3.6-1.dsc	2022-12-19 19:22	2.1K
	gnome-shell-extension-shortcuts_1.3.6-1_all.deb	2022-12-20 10:55	12K
	gnome-shell-extension-shortcuts_1.3.6.orig.tar.gz	2022-12-19 19:22	22K
	gnome-shell-extension-shortcuts_1.7.0-1.debian.tar.xz	2025-02-17 20:18	2.9K
	gnome-shell-extension-shortcuts_1.7.0-1.dsc	2025-02-17 20:18	2.1K
	gnome-shell-extension-shortcuts_1.7.0-1_all.deb	2025-02-17 20:38	16K
	gnome-shell-extension-shortcuts_1.7.0.orig.tar.bz2	2025-02-17 20:18	758K
	gnome-shell-extension-shortcuts_1.7.2-1.debian.tar.xz	2025-11-05 00:12	3.1K
	gnome-shell-extension-shortcuts_1.7.2-1.dsc	2025-11-05 00:12	2.1K
	gnome-shell-extension-shortcuts_1.7.2-1_all.deb	2025-11-05 00:33	18K
	gnome-shell-extension-shortcuts_1.7.2.orig.tar.bz2	2025-11-05 00:12	759K