Index of /debian-amd64/pool/main/m/mlgmp

	Name	Last modified	Size
	Parent Directory		-
	libgmp-ocaml-dev_20021123-5_amd64.deb	2005-04-30 17:32	73K
	libgmp-ocaml_20021123-5_amd64.deb	2005-04-30 17:32	24K
	mlgmp_20021123-5.diff.gz	2005-03-23 19:47	4.1K
	mlgmp_20021123-5.dsc	2005-04-30 17:32	873
	mlgmp_20021123.orig.tar.gz	2005-04-30 17:32	39K