Index of /marty/pool/main/m/mpfr

	Name	Last modified	Size	Description
	Parent Directory		-
	libmpfr1ldbl_2.4.2-3..>	2012-10-22 14:39	407K