![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| gnome-shell-extension-manager_0.3.0-0ubuntu1_amd64.deb | 20-Apr-2022 16:18 | 70K | |
| gnome-shell-extension-manager_0.3.0-0ubuntu2.1_amd64.deb | 13-May-2022 08:15 | 88K | |
| gnome-shell-extension-manager_0.5.0-1build1_amd64.deb | 31-Mar-2024 15:33 | 159K | |
| gnome-shell-extension-manager_0.5.1-5_amd64.deb | 28-Sep-2024 04:14 | 151K | |
| gnome-shell-extension-manager_0.6.3-1_amd64.deb | 07-Apr-2025 19:28 | 188K | |
| gnome-shell-extension-manager_0.6.3-2_amd64.deb | 03-May-2025 09:09 | 185K | |