Index of /ubuntu/pool/main/m/mpfr4

	Name	Last modified	Size	Description
	Parent Directory		-
	lib32mpfr-dev_3.1.0-3ubuntu2_amd64.deb	2012-04-04 09:05	217K
	lib32mpfr4_3.1.0-3ubuntu2_amd64.deb	2012-04-04 09:05	194K
	libmpfr-dev_3.1.0-3ubuntu2_amd64.deb	2012-04-04 09:05	242K
	libmpfr-dev_3.1.0-3ubuntu2_i386.deb	2012-04-04 09:06	228K
	libmpfr-dev_3.1.2-1_amd64.deb	2013-10-22 06:33	246K
	libmpfr-dev_3.1.2-1_i386.deb	2013-10-22 06:34	229K
	libmpfr-doc_3.1.0-3ubuntu2_all.deb	2012-04-04 09:05	576K
	libmpfr-doc_3.1.2-1_all.deb	2013-10-22 06:33	577K
	libmpfr4-dbg_3.1.0-3ubuntu2_amd64.deb	2012-04-04 09:05	516K
	libmpfr4-dbg_3.1.0-3ubuntu2_i386.deb	2012-04-04 09:06	246K
	libmpfr4-dbg_3.1.2-1_amd64.deb	2013-10-22 06:33	389K
	libmpfr4-dbg_3.1.2-1_i386.deb	2013-10-22 06:34	342K
	libmpfr4_3.1.0-3ubuntu2_amd64.deb	2012-04-04 09:05	196K
	libmpfr4_3.1.0-3ubuntu2_i386.deb	2012-04-04 09:06	195K
	libmpfr4_3.1.2-1_amd64.deb	2013-10-22 06:33	198K
	libmpfr4_3.1.2-1_i386.deb	2013-10-22 06:34	192K
	mpfr4_3.1.0-3ubuntu2.debian.tar.gz	2012-04-04 09:04	12K
	mpfr4_3.1.0-3ubuntu2.dsc	2012-04-04 09:04	1.7K
	mpfr4_3.1.0.orig.tar.bz2	2011-10-19 05:04	1.1M
	mpfr4_3.1.2-1.debian.tar.gz	2013-10-22 06:13	13K
	mpfr4_3.1.2-1.dsc	2013-10-22 06:13	1.4K
	mpfr4_3.1.2.orig.tar.xz	2013-10-22 06:13	1.0M