Index of /archive.ubuntu.com/ubuntu/pool/universe/m/mlgmp/

../
libgmp-ocaml-dev_20021123-21build2_amd64.deb       24-Jan-2022 16:44              100206
libgmp-ocaml_20021123-21build2_amd64.deb           24-Jan-2022 16:44               23480
mlgmp_20021123-21build2.debian.tar.xz              24-Jan-2022 16:44                9228
mlgmp_20021123-21build2.dsc                        24-Jan-2022 16:44                2113
mlgmp_20021123.orig.tar.gz                         26-Jul-2004 23:47               40051