/debian-ports/pool-x32/main/w/wmenu/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
wmenu_0.1.8-1_x32.deb
21.2 KiB
18.05.2024 12:03
wmenu_0.1.8-1_x32.buildinfo
10.5 KiB
18.05.2024 12:03
wmenu-dbgsym_0.1.8-1_x32.deb
81.1 KiB
18.05.2024 12:03