../ gnome-shell-extension-manager-dbgsym_0.5.0-1_pp..> 23-Mar-2024 00:03 201444 gnome-shell-extension-manager_0.5.0-1_ppc64.bui..> 23-Mar-2024 00:03 15879 gnome-shell-extension-manager_0.5.0-1_ppc64.deb 23-Mar-2024 00:03 152932