Index of /trusty/pool/contrib/m/mpfr4

	Name	Last modified	Size	Description

	Parent Directory		-
	libmpfr4_3.1.3-1~14.04_i386.deb	2019-07-23 12:37	168K

Apache/2.4.41 (Ubuntu) Server at 185.76.147.109 Port 80