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

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