[Pkg-ocaml-maint-commits] r2527 -
trunk/packages/ocamlcreal/trunk/debian
Mike Furr
mfurr at costa.debian.org
Wed Jan 18 18:57:32 UTC 2006
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.
More information about the Pkg-ocaml-maint-commits
mailing list