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

../
gnome-shell-extension-manager_0.4.0-1_amd64.deb    24-Jan-2023 18:56              109828
gnome-shell-extension-manager_0.4.0-1_arm64.deb    24-Jan-2023 18:56              106080
gnome-shell-extension-manager_0.6.3-2_amd64.deb    03-May-2025 07:19              182016
gnome-shell-extension-manager_0.6.3-2_arm64.deb    03-May-2025 07:19              173708
gnome-shell-extension-manager_0.6.5-1+b1_arm64.deb 20-Jan-2026 13:00              184844
gnome-shell-extension-manager_0.6.5-1_amd64.deb    10-Oct-2025 21:18              194536