Index of /pub/linux/distributions/lip6-debian/ftp-dev/debian/pool/main/u/ukui-menu-extensions/

../
ukui-menu-ernie-bot_4.20.0.2-1_amd64.deb           23-Jun-2026 18:35               65252
ukui-menu-extensions_4.20.0.2-1.debian.tar.xz      22-Jun-2026 14:59                2244
ukui-menu-extensions_4.20.0.2-1.dsc                22-Jun-2026 14:59                2397
ukui-menu-extensions_4.20.0.2.orig.tar.xz          22-Jun-2026 14:59               42820
ukui-menu-recent-file_4.20.0.2-1_amd64.deb         23-Jun-2026 18:35               47088