Index of /doc/libgmp10

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