../ gnome-shell-common_42.4-2revyos1_all.deb 10-Apr-2023 14:46 773K gnome-shell-dbgsym_42.4-2revyos1_riscv64.deb 10-Apr-2023 14:46 1M gnome-shell-extension-prefs_42.4-2revyos1_riscv..> 10-Apr-2023 14:46 24K gnome-shell_42.4-2revyos1.debian.tar.xz 10-Apr-2023 14:46 38K gnome-shell_42.4-2revyos1.dsc 10-Apr-2023 14:46 2966 gnome-shell_42.4-2revyos1_riscv64.deb 10-Apr-2023 14:46 769K gnome-shell_42.4.orig.tar.xz 10-Apr-2023 14:46 2M