| Parent directory/ | - | - |
| gnome-shell-extension-manager_0.4.0-1.debian.tar..> | 4536 | 2023-Jan-24 18:11 |
| gnome-shell-extension-manager_0.4.0-1.dsc | 2421 | 2023-Jan-24 18:11 |
| gnome-shell-extension-manager_0.4.0-1_amd64.deb | 109828 | 2023-Jan-24 18:56 |
| gnome-shell-extension-manager_0.4.0.orig.tar.gz | 1476951 | 2023-Jan-24 18:11 |
| gnome-shell-extension-manager_0.6.3-2.debian.tar..> | 3052 | 2025-May-03 06:44 |
| gnome-shell-extension-manager_0.6.3-2.dsc | 2425 | 2025-May-03 06:44 |
| gnome-shell-extension-manager_0.6.3-2_amd64.deb | 182016 | 2025-May-03 07:19 |
| gnome-shell-extension-manager_0.6.3.orig.tar.gz | 1901186 | 2025-Apr-07 15:50 |