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

	Name	Last modified	Size	Description
	Parent Directory		-
	libmpfr-dev_3.1.2-1_amd64.deb	2013-10-22 13:33	246K
	libmpfr-dev_3.1.2-1_i386.deb	2013-10-22 13:34	229K
	libmpfr-doc_3.1.2-1_all.deb	2013-10-22 13:33	577K
	libmpfr4-dbg_3.1.2-1_amd64.deb	2013-10-22 13:33	389K
	libmpfr4-dbg_3.1.2-1_i386.deb	2013-10-22 13:34	342K
	libmpfr4_3.1.2-1_amd64.deb	2013-10-22 13:33	198K
	libmpfr4_3.1.2-1_i386.deb	2013-10-22 13:34	192K