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

	Name	Last modified	Size
	Parent Directory		-
	gnome-shell-extension-manager_0.6.5-1.dsc	2025-10-11 09:58	2.4K
	gnome-shell-extension-manager_0.4.0-1.dsc	2023-01-25 07:11	2.4K
	gnome-shell-extension-manager_0.6.3-2.dsc	2025-05-03 18:44	2.4K
	gnome-shell-extension-manager_0.6.5-1.debian.tar.xz	2025-10-11 09:58	2.9K
	gnome-shell-extension-manager_0.6.3-2.debian.tar.xz	2025-05-03 18:44	3.0K
	gnome-shell-extension-manager_0.4.0-1.debian.tar.xz	2023-01-25 07:11	4.4K
	gnome-shell-extension-manager_0.4.0-1_armhf.deb	2023-01-25 07:56	99K
	gnome-shell-extension-manager_0.4.0-1_arm64.deb	2023-01-25 07:56	104K
	gnome-shell-extension-manager_0.4.0-1_amd64.deb	2023-01-25 07:56	107K
	gnome-shell-extension-manager_0.4.0-1_i386.deb	2023-01-25 07:46	112K
	gnome-shell-extension-manager_0.6.3-2_armhf.deb	2025-05-03 19:24	163K
	gnome-shell-extension-manager_0.6.3-2_arm64.deb	2025-05-03 19:19	170K
	gnome-shell-extension-manager_0.6.5-1_armhf.deb	2025-10-11 10:18	175K
	gnome-shell-extension-manager_0.6.3-2_amd64.deb	2025-05-03 19:19	178K
	gnome-shell-extension-manager_0.6.5-1_arm64.deb	2025-10-11 10:18	180K
	gnome-shell-extension-manager_0.6.3-2_i386.deb	2025-05-03 19:19	185K
	gnome-shell-extension-manager_0.6.5-1_amd64.deb	2025-10-11 10:18	190K
	gnome-shell-extension-manager_0.6.5-1_i386.deb	2025-10-11 10:18	197K
	gnome-shell-extension-manager_0.4.0.orig.tar.gz	2023-01-25 07:11	1.4M
	gnome-shell-extension-manager_0.6.5.orig.tar.gz	2025-10-11 09:58	1.8M
	gnome-shell-extension-manager_0.6.3.orig.tar.gz	2025-04-08 03:50	1.8M