Index of /bossgnome/pool/urja/main/m/mpfr4

	Name	Last modified	Size	Description
	Parent Directory		-
	libmpfr-dev_4.1.0-3_amd64.deb	2022-09-29 13:47	246K
	libmpfr-doc_4.1.0-3_all.deb	2022-09-29 13:47	1.2M
	libmpfr6_4.1.0-3_amd64.deb	2022-09-29 13:47	1.9M