![]() |
mirror.unix-solutions.behosted by Unix-Solutions services: http, https, rsync |
---|
File | Last Modified | Size |
---|---|---|
📂 Parent Directory | ||
📄 gnome-shell-extension-manager_0.4.0-1.debian.tar.xz | 2023-01-24 18:11:08 | 4.43 KB |
📄 gnome-shell-extension-manager_0.4.0-1.dsc | 2023-01-24 18:11:08 | 2.36 KB |
📄 gnome-shell-extension-manager_0.4.0-1_armhf.deb | 2023-02-10 02:26:32 | 97.55 KB |
📄 gnome-shell-extension-manager_0.4.0.orig.tar.gz | 2023-01-24 18:11:08 | 1.41 MB |
📄 gnome-shell-extension-manager_0.6.3-2.debian.tar.xz | 2025-05-03 06:44:05 | 2.98 KB |
📄 gnome-shell-extension-manager_0.6.3-2.dsc | 2025-05-03 06:44:05 | 2.37 KB |
📄 gnome-shell-extension-manager_0.6.3-2_armhf.deb | 2025-05-13 10:08:03 | 160.97 KB |
📄 gnome-shell-extension-manager_0.6.3.orig.tar.gz | 2025-04-07 15:50:51 | 1.81 MB |