Index of /pub/linux/debian-archive/debian-amd64/pool/main/m/mlgmp/

Filename	Modification time	Size
libgmp-ocaml-dev_20021123-5_amd64.deb	2005-04-30 19:32 CEST	73 KiB
libgmp-ocaml_20021123-5_amd64.deb	2005-04-30 19:32 CEST	24 KiB
mlgmp_20021123-5.diff.gz	2005-03-23 20:47 CET	4161 B
mlgmp_20021123-5.dsc	2005-04-30 19:32 CEST	873 B
mlgmp_20021123.orig.tar.gz	2005-04-30 19:32 CEST	39 KiB