Index of /Edu/precisedda/pool/main/g/gmp

	Name	Last modified	Size	Description
	Parent Directory		-
	libgmp10_5.0.2+dfsg-..>	2014-08-20 19:25	258K