Index of /pub/mpkg/distfiles/gmp

	Name	Last modified	Size	Description
	Parent Directory		-
	4.1/	2002-08-30 15:23	-
	4.1.2/	2003-01-16 10:31	-
	4.1.1/	2002-12-22 15:38	-
	4.0/	2001-12-07 17:50	-
	3.1.1/	2001-10-10 09:50	-