Index of /debian/pool/main/m/mpfr4

	Name	Last modified	Size	Description
	Parent Directory		-
	lib32mpfr-dev_3.1.0-5_amd64.deb	2012-05-09 01:02	561K
	lib32mpfr4_3.1.0-5_amd64.deb	2012-05-09 01:02	523K
	libmpfr-dev_3.0.0-2_amd64.deb	2010-07-13 08:02	505K
	libmpfr-dev_3.0.0-2_i386.deb	2010-07-13 12:03	479K
	libmpfr-dev_3.1.0-5_amd64.deb	2012-05-09 01:02	588K
	libmpfr-dev_3.1.0-5_i386.deb	2012-05-09 01:32	572K
	libmpfr-doc_3.0.0-2_all.deb	2010-07-13 08:02	839K
	libmpfr-doc_3.1.0-5_all.deb	2012-05-09 01:02	903K
	libmpfr4-dbg_3.1.0-5_amd64.deb	2012-05-09 01:02	1.0M
	libmpfr4-dbg_3.1.0-5_i386.deb	2012-05-09 01:32	688K
	libmpfr4_3.0.0-2_amd64.deb	2010-07-13 08:02	463K
	libmpfr4_3.0.0-2_i386.deb	2010-07-13 12:03	453K
	libmpfr4_3.1.0-5_amd64.deb	2012-05-09 01:02	526K
	libmpfr4_3.1.0-5_i386.deb	2012-05-09 01:32	523K
	mpfr4_3.0.0-2.debian.tar.gz	2010-07-13 08:02	12K
	mpfr4_3.0.0-2.dsc	2010-07-13 08:02	1.3K
	mpfr4_3.0.0.orig.tar.gz	2010-07-13 08:02	1.4M
	mpfr4_3.1.0-5.debian.tar.gz	2012-05-09 01:02	27K
	mpfr4_3.1.0-5.dsc	2012-05-09 01:02	1.6K
	mpfr4_3.1.0.orig.tar.bz2	2011-10-04 01:04	1.1M