Index of /DOCS/libgmp10

	Name	Last modified	Size	Description
	Parent Directory		-
	README.Debian	2024-12-02 01:17	334
	changelog.Debian.gz	2024-12-02 01:17	1.7K
	changelog.gz	2023-07-30 18:44	309K
	copyright	2024-12-02 01:17	4.1K