1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
Source: mlgmp
Section: devel
Priority: optional
Maintainer: Mike Furr <mfurr@debian.org>
Uploaders: Ralf Treinen <treinen@debian.org>, Sven Luther <luther@debian.org>, Jerome Marant <jerome@debian.org>, Remi Vanicat <vanicat@debian.org>, Stefano Zacchiroli <zack@debian.org>, Sylvain L e Gall <sylvain.le-gall@polytechnique.org>
Build-Depends: ocaml-nox-3.08.3, debhelper (>= 4.0.0), dpatch, libgmp3-dev, libmpfr-dev
Standards-Version: 3.6.1
Package: libgmp-ocaml
Architecture: any
Depends: ${shlibs:Depends}, ocaml-nox-3.08.3
Description: O'Caml bindings for the GNU multiprecision arithmetic library
This package provides bindings for the GNU multiprecision library
(GNU MP) for the language O'Caml(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: libgmp-ocaml (= ${Source-Version}), ocaml-nox-3.08.3, libgmp3-dev
Description: O'Caml bindings for the GNU multiprecision arithmetic library
This package provides bindings for the GNU multiprecision library
(GNU MP) for the language O'Caml(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
|
