Index of /doc/libgmp10

	Name	Last modified	Size	Description
	Parent Directory		-
	README.Debian	2020-11-15 13:04	334
	changelog.Debian.gz	2022-01-17 05:56	1.1K
	copyright	2021-11-15 16:24	2.0K