../ gnome-shell-extension-manager_0.3.0-0ubuntu1_am..> 20-Apr-2022 23:48 70K gnome-shell-extension-manager_0.3.0-0ubuntu2.1_..> 11-May-2026 10:23 88K gnome-shell-extension-manager_0.5.0-1build1_amd..> 31-Mar-2024 23:03 159K gnome-shell-extension-manager_0.6.3-2build1_amd..> 13-May-2026 05:23 186K gnome-shell-extension-manager_0.6.5-1_amd64.deb 13-May-2026 05:23 199K