Opam Package mlgmpidl.1.2.13

Package info

opam-namemlgmpidl
opam-version1.2.13
synopsisOCaml interface to the GMP library
authors
  • Bertrand Jeannet
  • Nicolas Berthier
homepagehttps://www.inrialpes.fr/pop-art/people/bjeannet/mlxxxidl-forge/mlgmpidl/
licenseLGPL-2.1-only with OCaml-LGPL-linking-exception
deps (6)
revdeps (3)
metas (1)
libraries (1)

Package modules

Package sources

mlgmpidl

Package files

lib/stublibs/dllgmp_caml.so.owner
lib/stublibs/dllgmp_caml.so
lib/gmp/mpzf.mli
lib/gmp/mpzf.ml
lib/gmp/mpzf.cmx
lib/gmp/mpzf.cmi
lib/gmp/mpz.mli
lib/gmp/mpz.ml
lib/gmp/mpz.idl
lib/gmp/mpz.cmx
lib/gmp/mpz.cmi
lib/gmp/mpqf.mli
lib/gmp/mpqf.ml
lib/gmp/mpqf.cmx
lib/gmp/mpqf.cmi
lib/gmp/mpq.mli
lib/gmp/mpq.ml
lib/gmp/mpq.idl
lib/gmp/mpq.cmx
lib/gmp/mpq.cmi
lib/gmp/mpfrf.mli
lib/gmp/mpfrf.ml
lib/gmp/mpfrf.cmx
lib/gmp/mpfrf.cmi
lib/gmp/mpfr.mli
lib/gmp/mpfr.ml
lib/gmp/mpfr.idl
lib/gmp/mpfr.cmx
lib/gmp/mpfr.cmi
lib/gmp/mpf.mli
lib/gmp/mpf.ml
lib/gmp/mpf.idl
lib/gmp/mpf.cmx
lib/gmp/mpf.cmi
lib/gmp/libgmp_caml.a
lib/gmp/gmp_random.mli
lib/gmp/gmp_random.ml
lib/gmp/gmp_random.idl
lib/gmp/gmp_random.cmx
lib/gmp/gmp_random.cmi
lib/gmp/gmp_caml.h
lib/gmp/gmp.cmxs
lib/gmp/gmp.cmxa
lib/gmp/gmp.cma
lib/gmp/gmp.a
lib/gmp/META
lib/gmp