Index of /debian-archive/debian-amd64/pool/main/m/mpfr

	Name	Last modified	Size	Description
	Parent Directory		-
	libmpfr-dev_2.1.1-5_..>	2005-05-02 00:20	224K
	mpfr_2.1.1-5.diff.gz	2005-05-02 00:20	6.5K
	mpfr_2.1.1-5.dsc	2005-05-02 00:20	668
	mpfr_2.1.1.orig.tar.gz	2005-04-30 22:04	603K