Index of /trusty/pool/main/m/mpfr4

	Name	Last modified	Size	Description
	Parent Directory		-
	mpfr4_3.1.2-1.debian.tar.gz	2013-10-22 13:13	13K
	mpfr4_3.1.2-1.dsc	2013-10-22 13:13	1.4K
	mpfr4_3.1.2.orig.tar.xz	2013-10-22 13:13	1.0M
	libmpfr4-dbg_3.1.2-1_amd64.deb	2013-10-22 13:33	389K
	libmpfr4_3.1.2-1_amd64.deb	2013-10-22 13:33	198K
	libmpfr-dev_3.1.2-1_amd64.deb	2013-10-22 13:33	246K
	libmpfr-doc_3.1.2-1_all.deb	2013-10-22 13:33	577K