Index of /pool/main/m/mpfr4

	Name	Last modified	Size	Description
	Parent Directory		-
	lib32mpfr-dev_3.1.0-3ubuntu2_amd64.deb	2017-09-22 21:35	217K
	lib32mpfr4_3.1.0-3ubuntu2_amd64.deb	2017-09-22 21:34	194K
	libmpfr-dev_3.1.0-3ubuntu2_amd64.deb	2017-09-22 21:35	242K
	libmpfr-dev_3.1.2-1_amd64.deb	2017-08-29 21:21	246K
	libmpfr-dev_3.1.4-1_amd64.deb	2017-08-29 21:39	197K
	libmpfr-dev_4.0.1-1_amd64.deb	2018-04-17 18:33	244K
	libmpfr-dev_4.0.2-1_amd64.deb	2020-03-30 20:34	234K
	libmpfr-doc_3.1.0-3ubuntu2_all.deb	2017-09-22 21:34	576K
	libmpfr-doc_3.1.2-1_all.deb	2017-08-29 21:20	577K
	libmpfr-doc_3.1.4-1_all.deb	2017-08-29 21:39	564K
	libmpfr-doc_4.0.1-1_all.deb	2018-04-17 18:34	629K
	libmpfr-doc_4.0.2-1_all.deb	2020-03-30 20:18	631K
	libmpfr4-dbg_3.1.0-3ubuntu2_amd64.deb	2017-09-22 21:33	516K
	libmpfr4-dbg_3.1.2-1_amd64.deb	2017-08-29 21:21	389K
	libmpfr4-dbg_3.1.4-1_amd64.deb	2017-08-29 21:39	397K
	libmpfr4_3.1.0-3ubuntu2_amd64.deb	2017-09-22 21:34	196K
	libmpfr4_3.1.2-1_amd64.deb	2017-08-29 21:20	198K
	libmpfr4_3.1.4-1_amd64.deb	2017-08-29 21:39	186K
	libmpfr6_4.0.1-1_amd64.deb	2018-04-17 18:34	237K
	libmpfr6_4.0.2-1_amd64.deb	2020-03-30 20:38	235K