| Parent directory/ | - | - |
| gnome-shell-extension-manager_0.4.0-1.debian.tar.xz | 4.4 KiB | 24 Jan 2023 18:11:08 +0000 |
| gnome-shell-extension-manager_0.4.0-1.dsc | 2.4 KiB | 24 Jan 2023 18:11:08 +0000 |
| gnome-shell-extension-manager_0.4.0-1_amd64.deb | 107.3 KiB | 24 Jan 2023 18:56:46 +0000 |
| gnome-shell-extension-manager_0.4.0.orig.tar.gz | 1.4 MiB | 24 Jan 2023 18:11:08 +0000 |
| gnome-shell-extension-manager_0.6.3-1.debian.tar.xz | 2.9 KiB | 07 Apr 2025 15:50:51 +0000 |
| gnome-shell-extension-manager_0.6.3-1.dsc | 2.4 KiB | 07 Apr 2025 15:50:51 +0000 |
| gnome-shell-extension-manager_0.6.3-1_amd64.deb | 177.7 KiB | 07 Apr 2025 18:40:53 +0000 |
| gnome-shell-extension-manager_0.6.3-2.debian.tar.xz | 3.0 KiB | 03 May 2025 06:44:05 +0000 |
| gnome-shell-extension-manager_0.6.3-2.dsc | 2.4 KiB | 03 May 2025 06:44:05 +0000 |
| gnome-shell-extension-manager_0.6.3-2_amd64.deb | 177.8 KiB | 03 May 2025 07:19:15 +0000 |
| gnome-shell-extension-manager_0.6.3.orig.tar.gz | 1.8 MiB | 07 Apr 2025 15:50:51 +0000 |
