../ gnome-shell-extension-manager-dbgsym_0.4.2-1_sparc64.deb 17-Sep-2023 00:03 172K gnome-shell-extension-manager_0.4.2-1_sparc64.buildinfo 17-Sep-2023 00:03 15K gnome-shell-extension-manager_0.4.2-1_sparc64.deb 17-Sep-2023 00:03 102K