ocaml-creal - Exact real arithmetic for OCaml

Property Value
Distribution Mageia Cauldron
Repository Mageia Core x86_64
Package filename ocaml-creal-0.7-17.mga8.x86_64.rpm
Package name ocaml-creal
Package version 0.7
Package release 17.mga8
Package architecture x86_64
Package type rpm
Category Development/OCaml
Homepage http://www.lri.fr/~filliatr/creal.en.html
License LGPLv2
Maintainer -
Download size 458.39 KB
Installed size 1.37 MB
Creal is an exact real arithmetic library for Objective Caml.
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.
Written by Jean-Christophe Filliatre.


Package Version Architecture Repository
ocaml-creal-0.7-17.mga8.i586.rpm 0.7 i586 Mageia Core
ocaml-creal - - -


Name Value
libc.so.6()(64bit) -
libc.so.6(GLIBC_2.14)(64bit) -
libc.so.6(GLIBC_2.17)(64bit) -
libc.so.6(GLIBC_2.2.5)(64bit) -
libc.so.6(GLIBC_2.3)(64bit) -
libc.so.6(GLIBC_2.3.4)(64bit) -
libc.so.6(GLIBC_2.4)(64bit) -
libc.so.6(GLIBC_2.7)(64bit) -
libdl.so.2()(64bit) -
libdl.so.2(GLIBC_2.2.5)(64bit) -
libgmp.so.10()(64bit) -
libm.so.6()(64bit) -
libm.so.6(GLIBC_2.2.5)(64bit) -
libm.so.6(GLIBC_2.27)(64bit) -
libm.so.6(GLIBC_2.29)(64bit) -
ocaml(CamlinternalFormatBasics) == f562e7b79dbe1bb1591060d6b4e854cf
ocaml(Gmp) == fd62377c47400cf9de601528d7ab1156
ocaml(Stdlib) == aa33af4684579b41817bc194be0a7a26
ocaml(Stdlib__buffer) == 28161e4effde5ea372547815f87193ec
ocaml(Stdlib__callback) == 05f106bfa8c02f2eefb8a3e3c18411af
ocaml(Stdlib__format) == 06b0893cb3ef937aa19861955f132018
ocaml(Stdlib__int64) == 4214fced4b9c03c07eae7c7eb29450c4
ocaml(Stdlib__pervasives) == b21448628d3d122ebdaa9995cac0ba7f
ocaml(Stdlib__printf) == 908ae2bf186b4ad7c88e5443c57d73af
ocaml(Stdlib__seq) == c5f4ef3f36de5f47b7041eed1deb9679
ocaml(Stdlib__string) == f06d662544362cc717ad99f2d75ffa1e
ocaml(Stdlib__uchar) == c51d7a295527e9500ba69b459f81d6b3
ocaml(runtime) == 4.10.0


Name Value
ocaml(Cr) == 650e0fee819ae7f5cc5d9bc3e20e8975
ocaml(Creal) == 65d817aa44eeb200a035d88219c89b5a
ocaml(Gmp) == fd62377c47400cf9de601528d7ab1156
ocaml-creal == 0.7-17.mga8
ocaml-creal(x86-64) == 0.7-17.mga8


Type URL
Mirror distrib-coffee.ipsl.jussieu.fr
Binary Package ocaml-creal-0.7-17.mga8.x86_64.rpm
Source Package ocaml-creal-0.7-17.mga8.src.rpm

Install Howto

  1. Enable Mageia Core repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install ocaml-creal rpm package:
    # urpmi ocaml-creal




2020-01-28 - tv <tv> 0.7-17.mga8
+ Revision: 1484332
- rebuild for ocaml-4.10
+ wally <wally>
- replace deprecated %configure2_5x
2018-10-23 - tv <tv> 0.7-16.mga7
+ Revision: 1324042
- rebuild with ocaml-4.07.1
2018-10-22 - pterjan <pterjan> 0.7-15.mga7
+ Revision: 1323730
- Rebuild for ocaml 4.07
2018-09-23 - umeabot <umeabot> 0.7-14.mga7
+ Revision: 1299855
- Mageia 7 Mass Rebuild

See Also

Package Description
ocaml-creal-devel-0.7-17.mga8.x86_64.rpm Exact real arithmetic for Objective Caml
ocaml-cryptokit-1.11-8.mga8.x86_64.rpm OCaml library of cryptographic and hash functions
ocaml-cryptokit-devel-1.11-8.mga8.x86_64.rpm Development files for ocaml-cryptokit
ocaml-csv-1.7-2.mga8.x86_64.rpm OCaml library for reading and writing CSV files
ocaml-csv-devel-1.7-2.mga8.x86_64.rpm Development files for ocaml-csv
ocaml-cudf-0.9-8.mga8.x86_64.rpm CUDF (Common Upgradeability Description Format) OCaml development stuff
ocaml-cudf-devel-0.9-8.mga8.x86_64.rpm Development files for ocaml-cudf
ocaml-curl-0.9.0-1.mga8.x86_64.rpm OCaml Curl library (ocurl)
ocaml-curl-devel-0.9.0-1.mga8.x86_64.rpm Development files for ocaml-curl
ocaml-curses-1.0.4-2.mga8.x86_64.rpm OCaml bindings for ncurses
ocaml-curses-devel-1.0.4-2.mga8.x86_64.rpm Development files for ocaml-curses
ocaml-deriving-0.8.1-3.mga7.x86_64.rpm Deriving functions from type declaration in OCaml
ocaml-deriving-devel-0.8.1-3.mga7.x86_64.rpm Development files for deriving functions from type declarations
ocaml-doc-4.10.0-0.beta1.2.mga8.noarch.rpm Documentation for OCaml
ocaml-dose3-5.0.1-4.20180821git.8.mga8.x86_64.rpm Framework for managing distribution packages and their dependencies