Index of /ubuntu/pool/universe/u/ukui-menu-extensions

Icon  Name                                                 Last modified      Size  Description
[PARENTDIR] Parent Directory                                                          -   
[   ] ukui-menu-extensions_4.20.0.2-0ubuntu1.debian.tar.xz 2026-04-12 02:59  1.8K  
[TXT] ukui-menu-extensions_4.20.0.2-0ubuntu1.dsc           2026-04-12 02:59  2.3K  
[   ] ukui-menu-extensions_4.20.0.2.orig.tar.gz            2026-04-12 02:59   49K
Apache/2.4.66 (Debian) Server at debian.bio.lmu.de Port 80