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 19:11	4.4K
	gnome-shell-extension-manager_0.4.0-1.dsc	2023-01-24 19:11	2.4K
	gnome-shell-extension-manager_0.4.0-1_amd64.deb	2023-01-24 19:56	107K
	gnome-shell-extension-manager_0.4.0-1_i386.deb	2023-01-24 19:46	112K
	gnome-shell-extension-manager_0.4.0.orig.tar.gz	2023-01-24 19:11	1.4M
	gnome-shell-extension-manager_0.5.1-4.debian.tar.xz	2024-09-20 22:12	4.8K
	gnome-shell-extension-manager_0.5.1-4.dsc	2024-09-20 22:12	2.4K
	gnome-shell-extension-manager_0.5.1-4_amd64.deb	2024-09-20 23:02	146K
	gnome-shell-extension-manager_0.5.1-4_i386.deb	2024-09-20 23:02	153K
	gnome-shell-extension-manager_0.5.1-5.debian.tar.xz	2024-09-26 15:37	5.5K
	gnome-shell-extension-manager_0.5.1-5.dsc	2024-09-26 15:37	2.4K
	gnome-shell-extension-manager_0.5.1-5_amd64.deb	2024-09-26 16:53	146K
	gnome-shell-extension-manager_0.5.1-5_i386.deb	2024-09-26 16:53	153K
	gnome-shell-extension-manager_0.5.1.orig.tar.gz	2024-05-01 22:46	2.1M