Index of /mie/pool/main/g/gmp

	Name	Last modified	Size
	Parent Directory		-
	gmp_4.2.2+dfsg-1ubuntu2.diff.gz	2008-01-24 12:05	17K
	gmp_4.2.2+dfsg-1ubuntu2.dsc	2008-01-24 12:05	825
	gmp_4.2.2+dfsg.orig.tar.gz	2007-12-05 20:03	1.8M
	libgmp3-dev_4.2.2+dfsg-1ubuntu2_lpia.deb	2008-01-24 14:04	444K
	libgmp3-doc_4.2.2+dfsg-1ubuntu2_all.deb	2008-01-24 14:04	332K
	libgmp3c2_4.2.2+dfsg-1ubuntu2_lpia.deb	2008-01-24 14:04	378K
	libgmpxx4ldbl_4.2.2+dfsg-1ubuntu2_lpia.deb	2008-01-24 14:04	214K