../ gnome-shell-dbgsym_43.7-2_ppc64.deb 17-Aug-2023 18:03 1308048 gnome-shell-extension-prefs_43.7-2_ppc64.deb 17-Aug-2023 18:03 27232 gnome-shell_43.7-2_ppc64.buildinfo 17-Aug-2023 18:03 21661 gnome-shell_43.7-2_ppc64.deb 17-Aug-2023 18:03 867160