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

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