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

../
gnome-shell-extension-manager-dbgsym_0.6.5-2_pp..> 18-Sep-2026 06:03    292K
gnome-shell-extension-manager_0.6.5-2_ppc64.bui..> 18-Sep-2026 06:03     23K
gnome-shell-extension-manager_0.6.5-2_ppc64.deb    18-Sep-2026 06:03    195K