Index of /ubuntu/pool/main/g/gnome-shell-ubuntu-extensions

Icon  Name                                                   Last modified      Size  Description
[PARENTDIR] Parent Directory                                                            -   
[TXT] gnome-shell-ubuntu-extensions_50.26.04.7ubuntu.dsc     2026-04-16 10:53  2.1K  
[   ] gnome-shell-ubuntu-extensions_50.26.04.7ubuntu.tar.xz  2026-04-16 10:53  678K  
[   ] gnome-shell-ubuntu-extensions_50.26.04.7ubuntu_all.deb 2026-04-16 10:53  286K
Apache/2.4.66 (Debian) Server at ubuntu.biologie.uni-muenchen.de Port 443