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

../
gnome-shell-extension-manager-dbgsym_0.5.1-1_pp..> 02-May-2024 09:03    197K
gnome-shell-extension-manager_0.5.1-1_ppc64.bui..> 02-May-2024 09:03     15K
gnome-shell-extension-manager_0.5.1-1_ppc64.deb    02-May-2024 09:03    151K