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

../
gnome-shell-extension-manager-dbgsym_0.5.1-2_po..> 12-Jun-2024 18:03              199228
gnome-shell-extension-manager_0.5.1-2_powerpc.b..> 12-Jun-2024 18:03               15460
gnome-shell-extension-manager_0.5.1-2_powerpc.deb  12-Jun-2024 18:03              154284