../ gnome-shell-common_3.36.6-1_all.deb 29-Oct-2020 14:02 711532 gnome-shell-extension-prefs_3.36.6-1_amd64.deb 29-Oct-2020 14:02 39868 gnome-shell-extension-prefs_3.36.6-1_arm64.deb 29-Oct-2020 14:02 39868 gnome-shell_3.36.6-1_amd64.deb 29-Oct-2020 14:02 819888 gnome-shell_3.36.6-1_arm64.deb 29-Oct-2020 14:02 785548