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.orig.tar.gz	2024-03-23 15:36	19K