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

../
gnome-shell-extension-manager_0.6.3-2_amd64.deb    23-Aug-2025 05:21    178K
gnome-shell-extension-manager_0.6.3-2_arm64.deb    25-Aug-2025 00:51    170K