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

	Name	Last modified	Size	Description
	Parent Directory		-
	libmpfr-dev_3.1.2-2_amd64.deb	2014-12-11 20:06	546K
	libmpfr-dev_3.1.5-1_amd64.deb	2016-09-28 01:57	202K
	libmpfr-dev_4.0.2-1_amd64.deb	2019-02-01 16:40	240K
	libmpfr-doc_3.1.2-2_all.deb	2014-12-11 20:06	895K
	libmpfr-doc_3.1.5-1_all.deb	2016-09-28 02:12	924K
	libmpfr-doc_4.0.2-1_all.deb	2019-02-01 16:30	1.1M
	libmpfr4-dbg_3.1.2-2_amd64.deb	2014-12-11 20:06	662K
	libmpfr4-dbg_3.1.5-1_amd64.deb	2016-09-28 01:57	435K
	libmpfr4_3.1.2-2_amd64.deb	2014-12-11 20:06	515K
	libmpfr4_3.1.5-1_amd64.deb	2016-09-28 01:57	543K
	libmpfr6_4.0.2-1_amd64.deb	2019-02-01 16:40	757K
	mpfr4_3.1.2-2.debian.tar.xz	2014-12-11 20:06	13K
	mpfr4_3.1.2-2.dsc	2014-12-11 20:06	2.1K
	mpfr4_3.1.2.orig.tar.xz	2013-10-22 13:15	1.0M
	mpfr4_3.1.5-1.debian.tar.xz	2016-09-28 00:47	9.4K
	mpfr4_3.1.5-1.dsc	2016-09-28 00:47	1.9K
	mpfr4_3.1.5.orig.tar.xz	2016-09-28 00:47	1.1M
	mpfr4_4.0.2-1.debian.tar.xz	2019-02-01 15:29	10K
	mpfr4_4.0.2-1.dsc	2019-02-01 15:29	1.9K
	mpfr4_4.0.2.orig.tar.xz	2019-02-01 15:29	1.4M