Index of /DOCS/libgmp10

	Name	Last modified	Size	Description
	Parent Directory		-
	README.Debian	2022-06-12 22:55	334
	changelog.Debian.gz	2022-09-22 20:43	14K
	changelog.gz	2020-11-14 19:45	306K
	copyright	2022-06-12 22:55	4.1K