Index of /linux/ubuntu-updates/ubuntu/pool/universe/m/mlgmp

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