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

	Name	Last modified	Size	Description
	Parent Directory		-
	gnome-shell-extension-manager_0.3.0-0ubuntu1.debian.tar.xz	2022-04-20 15:14	3.2K
	gnome-shell-extension-manager_0.3.0-0ubuntu1.dsc	2022-04-20 15:14	2.7K
	gnome-shell-extension-manager_0.3.0-0ubuntu1_amd64.deb	2022-04-20 16:18	70K
	gnome-shell-extension-manager_0.3.0-0ubuntu1_arm64.deb	2022-04-20 16:18	68K
	gnome-shell-extension-manager_0.3.0-0ubuntu1_armhf.deb	2022-04-20 16:18	61K
	gnome-shell-extension-manager_0.3.0-0ubuntu1_ppc64el.deb	2022-04-20 16:18	79K
	gnome-shell-extension-manager_0.3.0-0ubuntu2.1.debian.tar.xz	2022-05-13 08:14	3.6K
	gnome-shell-extension-manager_0.3.0-0ubuntu2.1.dsc	2022-05-13 08:14	2.7K
	gnome-shell-extension-manager_0.3.0-0ubuntu2.1_amd64.deb	2022-05-13 08:15	88K
	gnome-shell-extension-manager_0.3.0-0ubuntu2.1_arm64.deb	2022-05-13 08:15	86K
	gnome-shell-extension-manager_0.3.0-0ubuntu2.1_armhf.deb	2022-05-13 08:15	79K
	gnome-shell-extension-manager_0.3.0-0ubuntu2.1_ppc64el.deb	2022-05-13 08:15	97K
	gnome-shell-extension-manager_0.3.0.orig.tar.gz	2022-04-20 15:14	1.4M