../ gnome-shell-extension-manager-dbgsym_0.4.2-1_ia..> 30-Aug-2023 18:03 196128 gnome-shell-extension-manager_0.4.2-1_ia64.buil..> 30-Aug-2023 18:03 14978 gnome-shell-extension-manager_0.4.2-1_ia64.deb 30-Aug-2023 18:03 124176