../ gnome-shell-extension-manager-dbgsym_0.4.2-1_x3..> 31-Aug-2023 02:03 184404 gnome-shell-extension-manager_0.4.2-1_x32.build..> 31-Aug-2023 02:03 15211 gnome-shell-extension-manager_0.4.2-1_x32.deb 31-Aug-2023 02:03 113620