../ gnome-shell-extension-manager-dbgsym_0.5.1-1_po..> 02-May-2024 00:03 198944 gnome-shell-extension-manager_0.5.1-1_powerpc.b..> 02-May-2024 00:03 15616 gnome-shell-extension-manager_0.5.1-1_powerpc.deb 02-May-2024 00:03 153460