Index of /iso/cd/pool/main/g/gmp

	Name	Last modified	Size	Description

	Parent Directory		-
	libgmp10_6.1.2+dfsg-1_amd64.deb	2016-12-20 22:57	247K

Apache/2.4.52 (Ubuntu) Server at 198.145.121.2 Port 80