Index of /doc/libgmp-dev

	Name	Last modified	Size	Description
	Parent Directory		-
	changelog.Debian.gz	2020-02-24 14:06	1.0K
	copyright	2020-02-24 13:48	2.0K
	AUTHORS	2020-01-18 00:44	3.9K
	README	2020-01-18 00:44	4.0K
	NEWS.gz	2020-01-18 00:44	13K