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

	Name	Last modified	Size	Description
	Parent Directory		-
	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.dsc	2023-01-24 15:11	2.4K
	gnome-shell-extension-manager_0.4.0-1_amd64.deb	2023-01-24 15:56	107K
	gnome-shell-extension-manager_0.4.0-1_arm64.deb	2023-01-24 15:56	104K
	gnome-shell-extension-manager_0.4.0-1_i386.deb	2023-01-24 15:46	112K
	gnome-shell-extension-manager_0.4.0-1_mips64el.deb	2023-01-24 15:56	97K
	gnome-shell-extension-manager_0.4.0-1_ppc64el.deb	2023-01-24 18:28	110K
	gnome-shell-extension-manager_0.4.0.orig.tar.gz	2023-01-24 15:11	1.4M
	gnome-shell-extension-manager_0.5.0-1.debian.tar.xz	2024-03-22 15:22	2.6K
	gnome-shell-extension-manager_0.5.0-1.dsc	2024-03-22 15:22	2.3K
	gnome-shell-extension-manager_0.5.0-1_amd64.deb	2024-03-22 17:13	145K
	gnome-shell-extension-manager_0.5.0-1_arm64.deb	2024-03-22 17:13	137K
	gnome-shell-extension-manager_0.5.0-1_i386.deb	2024-03-22 17:18	151K
	gnome-shell-extension-manager_0.5.0-1_mips64el.deb	2024-03-22 23:33	135K
	gnome-shell-extension-manager_0.5.0-1_ppc64el.deb	2024-03-22 17:13	150K
	gnome-shell-extension-manager_0.5.0-1_riscv64.deb	2024-03-22 18:15	143K
	gnome-shell-extension-manager_0.5.0.orig.tar.gz	2024-03-22 15:22	2.1M