Index of /repo/gnu/libxmi

	Name	Last modified	Size	Description
	Parent Directory		-
	libxmi-1.2.tar.gz	2000-06-21 19:59	296K
	libxmi-1.1.1.tar.gz	1999-09-27 18:30	291K