data/mlgmp-20021123/mlgmp_fr.c: C source, ASCII text data/mlgmp-20021123/pretty_gmp.ml: ASCII text data/mlgmp-20021123/FAQ.txt: ASCII text data/mlgmp-20021123/README: ISO-8859 text data/mlgmp-20021123/mlgmp_random.c: C source, ASCII text data/mlgmp-20021123/mlgmp_f.c: C source, ASCII text data/mlgmp-20021123/mlgmp_q.c: C source, ASCII text data/mlgmp-20021123/essai.ml: ASCII text data/mlgmp-20021123/mlgmp.h: ASCII text data/mlgmp-20021123/mlgmp_misc.c: C source, ASCII text data/mlgmp-20021123/pretty_gmp.mli: Mathematica 3.0 notebook data/mlgmp-20021123/creal_pp.ml: ASCII text data/mlgmp-20021123/creal.mli: ASCII text data/mlgmp-20021123/test_creal.ml: ASCII text data/mlgmp-20021123/creal.ml: ISO-8859 text data/mlgmp-20021123/install_pp.ml: ASCII text data/mlgmp-20021123/creal_pp.mli: ASCII text data/mlgmp-20021123/INSTALL.txt: ASCII text data/mlgmp-20021123/benchmarks.txt: ASCII text data/mlgmp-20021123/ChangeLog: ASCII text data/mlgmp-20021123/install_creal_pp.ml: ASCII text data/mlgmp-20021123/test_mlgmp.ml: ASCII text data/mlgmp-20021123/LGPL.txt: ASCII text data/mlgmp-20021123/debian/META.gmp: ASCII text data/mlgmp-20021123/debian/README.Debian: ASCII text data/mlgmp-20021123/debian/README.source: ASCII text data/mlgmp-20021123/debian/changelog: UTF-8 Unicode text data/mlgmp-20021123/debian/clean: ASCII text data/mlgmp-20021123/debian/control: ASCII text data/mlgmp-20021123/debian/copyright: ASCII text data/mlgmp-20021123/debian/docs: ASCII text data/mlgmp-20021123/debian/gbp.conf: ASCII text data/mlgmp-20021123/debian/libgmp-ocaml-dev.install.in: ASCII text data/mlgmp-20021123/debian/libgmp-ocaml-dev.ocamldoc: ASCII text data/mlgmp-20021123/debian/libgmp-ocaml.files.in: ASCII text data/mlgmp-20021123/debian/patches/0001-Disabling-MPFR.patch: unified diff output, ASCII text data/mlgmp-20021123/debian/patches/0002-Handling-non-native-archs-and-proper-handling-of-.so.patch: unified diff output, ASCII text data/mlgmp-20021123/debian/patches/0003-Various-bugfixes-in-C-bindings.patch: unified diff output, ASCII text data/mlgmp-20021123/debian/patches/0004-Fix-wrong-conversion-from-int-on-64-bits-computers.patch: unified diff output, UTF-8 Unicode text data/mlgmp-20021123/debian/patches/0005-Update-extern-declarations-for-de-serialize-function.patch: unified diff output, ASCII text data/mlgmp-20021123/debian/patches/0006-Include-stdint.h-for-compatibility-with-pre-4.04.patch: unified diff output, ASCII text data/mlgmp-20021123/debian/patches/0007-Fix-compilation-with-OCaml-4.08.0.patch: unified diff output, ASCII text data/mlgmp-20021123/debian/patches/0008-Fix-compilation-with-gcc-10.patch: unified diff output, ASCII text data/mlgmp-20021123/debian/patches/series: ASCII text data/mlgmp-20021123/debian/rules: a /usr/bin/make -f script, ASCII text executable data/mlgmp-20021123/debian/source/format: ASCII text data/mlgmp-20021123/debian/watch: ASCII text data/mlgmp-20021123/.pc/.version: ASCII text data/mlgmp-20021123/.pc/.quilt_patches: ASCII text data/mlgmp-20021123/.pc/.quilt_series: ASCII text data/mlgmp-20021123/.pc/applied-patches: ASCII text data/mlgmp-20021123/.pc/0001-Disabling-MPFR.patch/config.h: C source, ASCII text data/mlgmp-20021123/.pc/0002-Handling-non-native-archs-and-proper-handling-of-.so.patch/Makefile: makefile script, ASCII text data/mlgmp-20021123/.pc/0003-Various-bugfixes-in-C-bindings.patch/gmp.ml: ASCII text data/mlgmp-20021123/.pc/0003-Various-bugfixes-in-C-bindings.patch/gmp.mli: Ruby script, ASCII text data/mlgmp-20021123/.pc/0003-Various-bugfixes-in-C-bindings.patch/mlgmp_z.c: C source, ASCII text data/mlgmp-20021123/.pc/0003-Various-bugfixes-in-C-bindings.patch/test_suite.ml: ASCII text data/mlgmp-20021123/.pc/0004-Fix-wrong-conversion-from-int-on-64-bits-computers.patch/mlgmp_z.c: C source, ASCII text data/mlgmp-20021123/.pc/0005-Update-extern-declarations-for-de-serialize-function.patch/config.h: C source, ASCII text data/mlgmp-20021123/.pc/0006-Include-stdint.h-for-compatibility-with-pre-4.04.patch/config.h: C source, ASCII text data/mlgmp-20021123/.pc/0007-Fix-compilation-with-OCaml-4.08.0.patch/gmp.ml: ASCII text data/mlgmp-20021123/.pc/0008-Fix-compilation-with-gcc-10.patch/conversions.c: C source, ASCII text data/mlgmp-20021123/Makefile: makefile script, ASCII text data/mlgmp-20021123/gmp.mli: Ruby script, ASCII text data/mlgmp-20021123/test_suite.ml: ASCII text data/mlgmp-20021123/mlgmp_z.c: C source, ASCII text data/mlgmp-20021123/config.h: C source, ASCII text data/mlgmp-20021123/gmp.ml: ASCII text data/mlgmp-20021123/conversions.c: C source, ASCII text