Index of /repos/apt/debian/pool/main/g/gmp

	Name	Last modified	Size	Description

	Parent Directory		-
	libgmp10_6.1.0+dfsg-2_armhf.deb	2016-04-25 19:04	180K
	libgmp10_6.1.0+dfsg-2_amd64.deb	2016-04-25 19:06	234K

Apache/2.4.52 (Ubuntu) Server at 91.223.176.99 Port 80