Index of /debian/pool/main/w/wmenu
Name Last modified Size
Parent Directory -
wmenu_0.1.9-1.debian.tar.xz 2024-07-06 21:02 2.5K
wmenu_0.1.9-1.dsc 2024-07-06 21:02 2.0K
wmenu_0.1.9-1_amd64.deb 2024-07-06 21:17 22K
wmenu_0.1.9-1_arm64.deb 2024-07-06 21:17 20K
wmenu_0.1.9-1_armel.deb 2024-07-06 21:17 19K
wmenu_0.1.9-1_armhf.deb 2024-07-06 21:17 18K
wmenu_0.1.9-1_i386.deb 2024-07-06 21:17 21K
wmenu_0.1.9-1_mips64el.deb 2024-07-06 21:17 20K
wmenu_0.1.9-1_ppc64el.deb 2024-07-06 21:17 23K
wmenu_0.1.9-1_riscv64.deb 2024-07-06 21:47 20K
wmenu_0.1.9-1_s390x.deb 2024-07-06 21:22 21K
wmenu_0.1.9.orig.tar.gz 2024-07-06 21:02 20K
Apache/2.4.41 (Ubuntu) Server at ftp.rrze.uni-erlangen.de Port 443