Index of /pub/gnu/libxmi

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