[Pkg-ocaml-maint-commits] r2527 - trunk/packages/ocamlcreal/trunk/debian

[Mike Furr]

Author: mfurr
Date: 2006-01-18 18:57:30 +0000 (Wed, 18 Jan 2006)
New Revision: 2527

Added:
   trunk/packages/ocamlcreal/trunk/debian/control.in
Log:
forgot .in again

Added: trunk/packages/ocamlcreal/trunk/debian/control.in
===================================================================
--- trunk/packages/ocamlcreal/trunk/debian/control.in	2006-01-18 18:56:35 UTC (rev 2526)
+++ trunk/packages/ocamlcreal/trunk/debian/control.in	2006-01-18 18:57:30 UTC (rev 2527)
@@ -0,0 +1,24 @@
+Source: ocamlcreal
+Section: libdevel
+Priority: optional
+Maintainer: Mike Furr <mfurr at debian.org>
+Build-Depends: ocaml-nox (>= #OCamlABI#), debhelper (>= 4.0.0), dpatch, libgmp-ocaml-dev
+Standards-Version: 3.6.0
+
+Package: libcreal-ocaml-dev
+Architecture: any
+Depends: , ocaml-nox-${F:OCamlABI}, libgmp-ocaml-dev
+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.