Index of /debian-ports/pool-x32/main/w/wmenu

	Name	Last modified	Size	Description
	Parent Directory		-
	wmenu-dbgsym_0.1.7-1_x32.deb	2024-03-27 12:03	43K
	wmenu_0.1.7-1_x32.buildinfo	2024-03-27 12:03	10K
	wmenu_0.1.7-1_x32.deb	2024-03-27 12:03	17K