Index of /pub/debian/pool/main/w/wmenu
Name
Last modified
Size
Description
Parent Directory
-
wmenu_0.1.8-1_i386.deb
2024-05-18 08:13
21K
wmenu_0.1.8-1_amd64.deb
2024-05-18 08:18
22K
wmenu_0.1.8-1_riscv64.deb
2024-05-18 09:08
20K
Apache/2.4.57 (Debian) Server at pcleon.if.ufrgs.br Port 80