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

	Name	Last modified	Size
	Parent Directory		-
	gnome-shell-extension-manager_0.4.0-1.dsc	2023-01-24 15:11	2.4K
	gnome-shell-extension-manager_0.4.0.orig.tar.gz	2023-01-24 15:11	1.4M
	gnome-shell-extension-manager_0.4.0-1.debian.tar.xz	2023-01-24 15:11	4.4K
	gnome-shell-extension-manager_0.4.0-1_i386.deb	2023-01-24 15:46	112K
	gnome-shell-extension-manager_0.4.0-1_amd64.deb	2023-01-24 15:56	107K
	gnome-shell-extension-manager_0.6.2-1.dsc	2025-03-28 18:27	2.4K
	gnome-shell-extension-manager_0.6.2.orig.tar.gz	2025-03-28 18:27	1.8M
	gnome-shell-extension-manager_0.6.2-1.debian.tar.xz	2025-03-28 18:27	2.9K
	gnome-shell-extension-manager_0.6.2-1_amd64.deb	2025-03-28 22:15	177K
	gnome-shell-extension-manager_0.6.2-1_i386.deb	2025-03-28 22:20	185K
	gnome-shell-extension-manager_0.6.3-1.dsc	2025-04-07 11:50	2.4K
	gnome-shell-extension-manager_0.6.3-1.debian.tar.xz	2025-04-07 11:50	2.9K
	gnome-shell-extension-manager_0.6.3.orig.tar.gz	2025-04-07 11:50	1.8M
	gnome-shell-extension-manager_0.6.3-1_amd64.deb	2025-04-07 14:40	178K
	gnome-shell-extension-manager_0.6.3-1_i386.deb	2025-04-07 15:31	185K