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

	Name	Last modified	Size
	Parent Directory		-
	gnome-shell-extension-manager_0.6.5-2_riscv64.deb	2026-06-16 20:36	185K
	gnome-shell-extension-manager_0.6.5-2_ppc64el.deb	2026-06-16 20:06	194K
	gnome-shell-extension-manager_0.6.5-2_loong64.deb	2026-06-16 20:06	185K
	gnome-shell-extension-manager_0.6.5-2_i386.deb	2026-06-16 20:06	197K
	gnome-shell-extension-manager_0.6.5-2_arm64.deb	2026-06-16 20:06	180K
	gnome-shell-extension-manager_0.6.5-2_amd64.deb	2026-06-16 20:06	190K
	gnome-shell-extension-manager_0.6.3-2_riscv64.deb	2025-05-03 10:24	174K
	gnome-shell-extension-manager_0.6.3-2_ppc64el.deb	2025-05-03 09:19	182K
	gnome-shell-extension-manager_0.6.3-2_i386.deb	2025-05-03 09:19	185K
	gnome-shell-extension-manager_0.6.3-2_arm64.deb	2025-05-03 09:19	170K
	gnome-shell-extension-manager_0.6.3-2_amd64.deb	2025-05-03 09:19	178K
	gnome-shell-extension-manager_0.4.0-1_ppc64el.deb	2023-01-24 22:28	110K
	gnome-shell-extension-manager_0.4.0-1_mips64el.deb	2023-01-24 19:56	97K
	gnome-shell-extension-manager_0.4.0-1_i386.deb	2023-01-24 19:46	112K
	gnome-shell-extension-manager_0.4.0-1_arm64.deb	2023-01-24 19:56	104K
	gnome-shell-extension-manager_0.4.0-1_amd64.deb	2023-01-24 19:56	107K