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

	Name	Last modified	Size	Description
	Parent Directory		-
	gmp_5.1.3+dfsg-1ubuntu1.debian.tar.gz	2014-01-06 16:23	22K
	gmp_5.1.3+dfsg-1ubuntu1.dsc	2014-01-06 16:23	1.6K
	gmp_5.1.3+dfsg.orig.tar.gz	2014-01-06 16:23	3.0M
	libgmp-dev_5.1.3+dfsg-1ubuntu1_amd64.deb	2014-01-06 16:23	285K
	libgmp3-dev_5.1.3+dfsg-1ubuntu1_amd64.deb	2014-01-06 16:23	1.8K
	libgmp10-doc_5.1.3+dfsg-1ubuntu1_all.deb	2014-01-06 16:23	157K
	libgmp10_5.1.3+dfsg-1ubuntu1_amd64.deb	2014-01-06 16:23	213K
	libgmpxx4ldbl_5.1.3+dfsg-1ubuntu1_amd64.deb	2014-01-06 16:23	8.5K