Index of /ubuntu/pool/universe/m/mlgmp

	Name	Last modified	Size	Description
	Parent Directory		-
	libgmp-ocaml-dev_20021123-19build1_amd64.deb	2017-10-27 06:44	74K
	libgmp-ocaml-dev_20021123-19build1_i386.deb	2017-10-27 06:44	74K
	libgmp-ocaml-dev_20021123-20build1_amd64.deb	2020-02-20 23:53	78K
	libgmp-ocaml-dev_20021123-21build2_amd64.deb	2022-01-24 17:44	98K
	libgmp-ocaml-dev_20021123-22build1_amd64.deb	2023-11-02 08:35	96K
	libgmp-ocaml_20021123-19build1_amd64.deb	2017-10-27 06:44	20K
	libgmp-ocaml_20021123-19build1_i386.deb	2017-10-27 06:44	20K
	libgmp-ocaml_20021123-20build1_amd64.deb	2020-02-20 23:53	20K
	libgmp-ocaml_20021123-21build2_amd64.deb	2022-01-24 17:44	23K
	libgmp-ocaml_20021123-22build1_amd64.deb	2023-11-02 08:35	22K
	mlgmp_20021123-19build1.debian.tar.xz	2017-10-27 06:44	8.5K
	mlgmp_20021123-19build1.dsc	2017-10-27 06:44	1.9K
	mlgmp_20021123-20build1.debian.tar.xz	2020-02-20 23:48	8.7K
	mlgmp_20021123-20build1.dsc	2020-02-20 23:48	2.2K
	mlgmp_20021123-21build2.debian.tar.xz	2022-01-24 17:44	9.0K
	mlgmp_20021123-21build2.dsc	2022-01-24 17:44	2.1K
	mlgmp_20021123-22build1.debian.tar.xz	2023-11-02 08:35	9.0K
	mlgmp_20021123-22build1.dsc	2023-11-02 08:35	2.0K
	mlgmp_20021123.orig.tar.gz	2004-07-27 01:47	39K