../ gnome-shell-dbgsym_43.7-2_ppc64.deb 17-Aug-2023 18:03 1M gnome-shell-extension-prefs_43.7-2_ppc64.deb 17-Aug-2023 18:03 27K gnome-shell_43.7-2_ppc64.buildinfo 17-Aug-2023 18:03 21K gnome-shell_43.7-2_ppc64.deb 17-Aug-2023 18:03 847K