File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
gnome-shell-extension-manager_0.5.1-1_ppc64.bui..> | 15.4 KiB | 2024-May-02 09:03 |
gnome-shell-extension-manager_0.5.1-1_ppc64.deb | 150.9 KiB | 2024-May-02 09:03 |
gnome-shell-extension-manager-dbgsym_0.5.1-1_pp..> | 196.5 KiB | 2024-May-02 09:03 |