Index of /usr/share/doc/libgmp10

	Name	Last modified	Size	Description
	Parent Directory		-
	TODO.Debian	21-Apr-2011 09:47	27
	README.Debian	21-Apr-2011 09:47	334
	copyright	21-Apr-2011 09:47	1.6K
	changelog.Debian.gz	21-Apr-2011 09:54	1.7K