Index of /ubuntuarchive/pool/universe/m/mlgmp

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