Index of /djgpp/mpfr

	Name	Last modified	Size	Description
	Parent Directory		-
	2.2.1/	14-Jun-2010 07:54	-
	2.3.0/	14-Jun-2010 07:55	-
	3.0.0/	11-Jul-2010 09:41	-
	3.0.1/	04-May-2011 22:52	-
	3.1.0/	29-Oct-2011 14:41	-
	3.1.1/	02-Sep-2012 18:43	-