Index of /trusty/pool/main/g/gmp

	Name	Last modified	Size	Description
	Parent Directory		-
	libgmp10_5.1.3+dfsg-..>	2014-01-06 16:23	213K
	libgmp10_5.1.3+dfsg-..>	2014-01-06 16:23	224K