Source: ocamlcreal
Section: ocaml
Priority: optional
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Uploaders:
 Mike Furr <mfurr@debian.org>,
 Mehdi Dogguy <mehdi@debian.org>
Build-Depends:
 ocaml-nox (>= 3.11.1-3~),
 debhelper (>= 7.0.50~),
 quilt (>= 0.46-7),
 libgmp-ocaml-dev (>= 20021123-16),
 dh-ocaml (>= 0.9~)
Standards-Version: 3.8.3
Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/ocamlcreal.git
Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/ocamlcreal.git

Package: libcreal-ocaml-dev
Architecture: any
Depends:
 ${ocaml:Depends},
 ${misc:Depends},
 ${shlibs:Depends},
Provides:
 ${ocaml:Provides}
Description: O'Caml library that implements exact real arithmetic
 This  module  implements  exact  real  arithmetic,  following  Valerie
 Menissier-Morain Ph.D. thesis (http://www-calfor.lip6.fr/~vmm/).
 .
 A  real  x  is  represented  as  a function  giving,  for  any  n,  an
 approximation zn/4^n of x  such that |zn/4^n - x| < 1,  where zn is an
 arbitrary precision integer (of type Gmp.Z.t).
 .
 Coercions from type int, Gmp.Z.t, Gmp.Q.t, basic operations (addition,
 subtraction,  multiplication,   division,  power,  square   root)  and
 transcendental  functions (sin,  cos, tan,  log, exp,  arcsin, arccos,
 etc.) and a few constants (pi, e) are provided.
 .
 A small reverse-polish calculator is provided to test the library.