Source: mlgmp Priority: optional Maintainer: Debian OCaml Maintainers Uploaders: Ralf Treinen , Remi Vanicat , Mehdi Dogguy , Mike Furr Build-Depends: ocaml-nox (>= 3.11.1-3~), debhelper (>= 10), libgmp3-dev, libmpfr-dev, dh-ocaml (>= 0.9~) Homepage: http://www-verimag.imag.fr/~monniaux/programmes.html.en Standards-Version: 3.9.6 Section: ocaml Vcs-Git: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/mlgmp.git Vcs-Browser: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/mlgmp.git Package: libgmp-ocaml Architecture: any Depends: ${shlibs:Depends}, ${misc:Depends}, ${ocaml:Depends} Provides: ${ocaml:Provides} Description: OCaml bindings for the GNU multiprecision arithmetic library This package provides bindings for the GNU multiprecision library (GNU MP) for the language OCaml (caml.inria.fr). It is mostly a 1-1 mapping of the C functions into the OCaml namespace, but also includes some infix operators to make for a cleaner syntax. . This package provides the shared library for running applications linked against libgmp-ocaml Package: libgmp-ocaml-dev Architecture: any Depends: ${ocaml:Depends}, libgmp3-dev, ${misc:Depends} Provides: ${ocaml:Provides} Description: OCaml bindings for the GNU multiprecision arithmetic library This package provides bindings for the GNU multiprecision library (GNU MP) for the language OCaml(caml.inria.fr). It is mostly a 1-1 mapping of the C functions into the OCaml namespace, but also includes some infix operators to make for a cleaner syntax. . This package provides the static library, OCaml library and interface for developing applications to use libgmp-ocaml