Index of /pub/mpkg/distfiles/gmp/3.1.1

	Name	Last modified	Size	Description
	Parent Directory		-
	gmp-3.1.1.tar.gz	2001-02-14 13:57	1.0M