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

	Name	Last modified	Size
	Parent Directory		-
	libgmp-ocaml-dev_20021123-17build4_amd64.deb	23-Dec-2013 05:43	72K
	libgmp-ocaml-dev_20021123-17build4_i386.deb	23-Dec-2013 05:44	71K
	libgmp-ocaml-dev_20021123-18build1_amd64.deb	31-Oct-2015 14:38	73K
	libgmp-ocaml-dev_20021123-18build1_i386.deb	31-Oct-2015 14:38	73K
	libgmp-ocaml-dev_20021123-19build1_amd64.deb	26-Oct-2017 22:44	74K
	libgmp-ocaml-dev_20021123-19build1_i386.deb	26-Oct-2017 22:44	74K
	libgmp-ocaml-dev_20021123-20build1_amd64.deb	20-Feb-2020 15:53	78K
	libgmp-ocaml-dev_20021123-21build2_amd64.deb	24-Jan-2022 09:44	98K
	libgmp-ocaml-dev_20021123-22_amd64.deb	12-Sep-2023 23:59	95K
	libgmp-ocaml-dev_20021123-22build1_amd64.deb	02-Nov-2023 01:35	96K
	libgmp-ocaml_20021123-17build4_amd64.deb	23-Dec-2013 05:43	19K
	libgmp-ocaml_20021123-17build4_i386.deb	23-Dec-2013 05:44	19K
	libgmp-ocaml_20021123-18build1_amd64.deb	31-Oct-2015 14:38	20K
	libgmp-ocaml_20021123-18build1_i386.deb	31-Oct-2015 14:38	20K
	libgmp-ocaml_20021123-19build1_amd64.deb	26-Oct-2017 22:44	20K
	libgmp-ocaml_20021123-19build1_i386.deb	26-Oct-2017 22:44	20K
	libgmp-ocaml_20021123-20build1_amd64.deb	20-Feb-2020 15:53	20K
	libgmp-ocaml_20021123-21build2_amd64.deb	24-Jan-2022 09:44	23K
	libgmp-ocaml_20021123-22_amd64.deb	12-Sep-2023 23:59	22K
	libgmp-ocaml_20021123-22build1_amd64.deb	02-Nov-2023 01:35	22K
	mlgmp_20021123-17build4.diff.gz	23-Dec-2013 05:23	8.2K
	mlgmp_20021123-17build4.dsc	23-Dec-2013 05:23	1.6K
	mlgmp_20021123-18build1.debian.tar.xz	31-Oct-2015 14:28	7.8K
	mlgmp_20021123-18build1.dsc	31-Oct-2015 14:28	1.8K
	mlgmp_20021123-19build1.debian.tar.xz	26-Oct-2017 22:44	8.5K
	mlgmp_20021123-19build1.dsc	26-Oct-2017 22:44	1.9K
	mlgmp_20021123-20build1.debian.tar.xz	20-Feb-2020 15:48	8.7K
	mlgmp_20021123-20build1.dsc	20-Feb-2020 15:48	2.2K
	mlgmp_20021123-21build2.debian.tar.xz	24-Jan-2022 09:44	9.0K
	mlgmp_20021123-21build2.dsc	24-Jan-2022 09:44	2.1K
	mlgmp_20021123-22.debian.tar.xz	12-Sep-2023 23:59	9.0K
	mlgmp_20021123-22.dsc	12-Sep-2023 23:59	1.8K
	mlgmp_20021123-22build1.debian.tar.xz	02-Nov-2023 01:35	9.0K
	mlgmp_20021123-22build1.dsc	02-Nov-2023 01:35	2.0K
	mlgmp_20021123.orig.tar.gz	26-Jul-2004 17:47	39K