~ubuntu-branches/ubuntu/precise/mlgmp/precise

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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
Source: mlgmp
Priority: optional
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders: 
  Ralf Treinen <treinen@debian.org>, 
  Sven Luther <luther@debian.org>, 
  Remi Vanicat <vanicat@debian.org>, 
  Stefano Zacchiroli <zack@debian.org>, 
  Sylvain Le Gall <gildor@debian.org>, 
  Mike Furr <mfurr@debian.org>
Build-Depends: 
  ocaml-nox (>= 3.10.0), 
  debhelper (>= 7.0.0), 
  dpatch, 
  libgmp3-dev, 
  libmpfr-dev, 
  dh-ocaml
Homepage: http://www-verimag.imag.fr/~monniaux/programmes.html.en
Standards-Version: 3.8.0
Section: libs
Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/mlgmp.git
Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/perl4caml.git

Package: libgmp-ocaml
Architecture: any
Section: libs
Depends: 
  ${shlibs:Depends}, 
  ${misc:Depends}, 
  ocaml-nox-${F:OCamlAbi}
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
Section: libdevel
Depends: 
  libgmp-ocaml (= ${binary:Version}), 
  ocaml-nox-${F:OCamlAbi}, 
  libgmp3-dev, 
  ${misc:Depends}
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