| Parent directory/ | - | - |
| gnome-shell-extension-manager_0.2.3-2.debian.tar.xz | 2.6 KiB | 2022-Mar-30 22:23 |
| gnome-shell-extension-manager_0.2.3-2.dsc | 2.3 KiB | 2022-Mar-30 22:23 |
| gnome-shell-extension-manager_0.2.3-2_amd64.deb | 62.7 KiB | 2022-Mar-30 23:44 |
| gnome-shell-extension-manager_0.2.3-2_arm64.deb | 60.1 KiB | 2022-Mar-30 23:29 |
| gnome-shell-extension-manager_0.2.3-2_mips64el.deb | 56.1 KiB | 2022-Apr-02 08:27 |
| gnome-shell-extension-manager_0.2.3-2_ppc64el.deb | 64.3 KiB | 2022-Mar-31 21:13 |
| gnome-shell-extension-manager_0.2.3.orig.tar.gz | 1.3 MiB | 2022-Mar-18 23:17 |