Index of /ports.ubuntu.com/ubuntu-ports/pool/universe/m/mlgmp

	Name	Last modified	Size	Description
	Parent Directory		-
	libgmp-ocaml-dev_20021123-17build3_armhf.deb	2011-12-07 05:04	95K
	libgmp-ocaml-dev_20021123-17build4_armhf.deb	2013-12-23 04:23	72K
	libgmp-ocaml_20021123-17build3_armhf.deb	2011-12-07 05:04	19K
	libgmp-ocaml_20021123-17build4_armhf.deb	2013-12-23 04:23	16K
	mlgmp_20021123-17build3.diff.gz	2011-11-18 14:04	8.2K
	mlgmp_20021123-17build3.dsc	2011-11-18 14:04	2.3K
	mlgmp_20021123-17build4.diff.gz	2013-12-23 04:23	8.2K
	mlgmp_20021123-17build4.dsc	2013-12-23 04:23	1.6K
	mlgmp_20021123.orig.tar.gz	2004-07-26 16:47	39K