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

	Name	Last modified	Size	Description
	Parent Directory		-
	mpfr4_3.0.0-2.dsc	2010-07-13 09:02	1.3K
	mpfr4_3.1.0-5.dsc	2012-05-09 02:02	1.6K
	mpfr4_3.1.2-2.dsc	2014-12-11 07:06	2.1K
	mpfr4_3.0.0-2.debian.tar.gz	2010-07-13 09:02	12K
	mpfr4_3.1.2-2.debian.tar.xz	2014-12-11 07:06	13K
	mpfr4_3.1.0-5.debian.tar.gz	2012-05-09 02:02	27K
	libmpfr4_3.0.0-2_i386.deb	2010-07-13 13:03	453K
	libmpfr4_3.0.0-2_amd64.deb	2010-07-13 09:02	463K
	libmpfr-dev_3.0.0-2_i386.deb	2010-07-13 13:03	479K
	libmpfr-dev_3.0.0-2_amd64.deb	2010-07-13 09:02	505K
	libmpfr4_3.1.2-2_amd64.deb	2014-12-11 07:06	515K
	lib32mpfr4_3.1.0-5_amd64.deb	2012-05-09 02:02	523K
	libmpfr4_3.1.0-5_amd64.deb	2012-05-09 02:02	526K
	libmpfr-dev_3.1.2-2_amd64.deb	2014-12-11 07:06	546K
	lib32mpfr-dev_3.1.0-5_amd64.deb	2012-05-09 02:02	561K
	libmpfr-dev_3.1.0-5_amd64.deb	2012-05-09 02:02	588K
	libmpfr4-dbg_3.1.2-2_amd64.deb	2014-12-11 07:06	662K
	libmpfr-doc_3.0.0-2_all.deb	2010-07-13 09:02	839K
	libmpfr-doc_3.1.2-2_all.deb	2014-12-11 07:06	895K
	libmpfr-doc_3.1.0-5_all.deb	2012-05-09 02:02	903K
	mpfr4_3.1.2.orig.tar.xz	2013-10-22 01:15	1.0M
	libmpfr4-dbg_3.1.0-5_amd64.deb	2012-05-09 02:02	1.0M
	mpfr4_3.1.0.orig.tar.bz2	2011-10-04 02:04	1.1M
	mpfr4_3.0.0.orig.tar.gz	2010-07-13 09:02	1.4M