| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| gnome-shell-extension-manager_0.4.0-0ubuntu1_am..> | 79.3 KiB | October 6, 2022 |
| gnome-shell-extension-manager_0.4.0-0ubuntu1.de..> | 4.5 KiB | October 6, 2022 |
| gnome-shell-extension-manager_0.4.0-0ubuntu1.dsc | 2.7 KiB | October 6, 2022 |
| gnome-shell-extension-manager_0.4.0.orig.tar.gz | 1.4 MiB | October 6, 2022 |
| gnome-shell-extension-manager_0.3.0-0ubuntu2.1_..> | 88.3 KiB | May 13, 2022 |
| gnome-shell-extension-manager_0.3.0-0ubuntu2.1.dsc | 2.7 KiB | May 13, 2022 |
| gnome-shell-extension-manager_0.3.0-0ubuntu2.1...> | 3.6 KiB | May 13, 2022 |
| gnome-shell-extension-manager_0.3.0-0ubuntu1_am..> | 69.6 KiB | April 20, 2022 |
| gnome-shell-extension-manager_0.3.0-0ubuntu1.dsc | 2.7 KiB | April 20, 2022 |
| gnome-shell-extension-manager_0.3.0-0ubuntu1.de..> | 3.2 KiB | April 20, 2022 |
| gnome-shell-extension-manager_0.3.0.orig.tar.gz | 1.4 MiB | April 20, 2022 |