Index of /debian/pool/main/w/wmenu
Name Last modified Size
Parent Directory -
wmenu_0.1.7-1.debian.tar.xz 2024-03-23 15:36 2.5K
wmenu_0.1.7-1.dsc 2024-03-23 15:36 2.0K
wmenu_0.1.7-1_amd64.deb 2024-03-23 16:33 17K
wmenu_0.1.7-1_arm64.deb 2024-03-23 16:33 16K
wmenu_0.1.7-1_armel.deb 2024-03-23 16:38 16K
wmenu_0.1.7-1_armhf.deb 2024-03-23 16:33 15K
wmenu_0.1.7-1_i386.deb 2024-03-23 16:33 17K
wmenu_0.1.7-1_mips64el.deb 2024-03-23 23:12 16K
wmenu_0.1.7-1_ppc64el.deb 2024-03-23 16:28 18K
wmenu_0.1.7-1_riscv64.deb 2024-03-23 18:26 16K
wmenu_0.1.7-1_s390x.deb 2024-03-23 18:26 16K
wmenu_0.1.7.orig.tar.gz 2024-03-23 15:36 19K
Apache/2.4.41 (Ubuntu) Server at dewy.fem.tu-ilmenau.de Port 80