ocaml-creal - Exact real arithmetic for OCaml

Property Value
Distribution Mageia 7
Repository Mageia Core i586
Package filename ocaml-creal-0.7-16.mga7.i586.rpm
Package name ocaml-creal
Package version 0.7
Package release 16.mga7
Package architecture i586
Package type rpm
Category Development/OCaml
Homepage http://www.lri.fr/~filliatr/creal.en.html
License LGPLv2
Maintainer -
Download size 374.42 KB
Installed size 1.22 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-16.mga7.x86_64.rpm 0.7 x86_64 Mageia Core
ocaml-creal - - -


Name Value
libc.so.6(GLIBC_2.17) -
libdl.so.2 -
libdl.so.2(GLIBC_2.0) -
libdl.so.2(GLIBC_2.1) -
libgmp.so.10 -
libm.so.6 -
libm.so.6(GLIBC_2.0) -
libm.so.6(GLIBC_2.1) -
ocaml(CamlinternalFormatBasics) = e065a8b8027a7269fbe69420861f3140
ocaml(Stdlib) = 785bc4357cd198defc8f1d3d8a46bf31
ocaml(Stdlib__buffer) = 47741a304c36252fb0d02df4002cd45b
ocaml(Stdlib__callback) = 88a8ecea5511db9eef1ab6e2b8b6c742
ocaml(Stdlib__format) = ded827a86373f27e1e1668a07e19a5f0
ocaml(Stdlib__int64) = 678dd94a831e040b9d89ed6046dca2a3
ocaml(Stdlib__printf) = 1e129649940609c444244e9f06f0be2e
ocaml(Stdlib__seq) = 5714d5da4a2ed04debb615c21e61bad9
ocaml(Stdlib__string) = cf3a35a636b40f4dfa3c7f93ef2f2d33
ocaml(Stdlib__uchar) = 6d473d0370eac1a310ce126c25d7883a
ocaml(runtime) = 4.07.1


Name Value
ocaml(Cr) = 62ed02f2eb32392ba71f673de6e757cd
ocaml(Creal) = d792e5ab4f82987442c4173846e4ebac
ocaml(Gmp) = c4c4428c96e814dfca1e1988a75681c9
ocaml-creal = 0.7-16.mga7
ocaml-creal(x86-32) = 0.7-16.mga7


Type URL
Mirror distrib-coffee.ipsl.jussieu.fr
Binary Package ocaml-creal-0.7-16.mga7.i586.rpm
Source Package ocaml-creal-0.7-16.mga7.src.rpm

Install Howto

  1. Enable the repository in Software Management
  2. Install ocaml-creal rpm package:
    # dnf install ocaml-creal




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
2017-11-26 - tv <tv> 0.7-13.mga7
+ Revision: 1179495
- rebuild for new ocaml
2017-10-12 - daviddavid <daviddavid> 0.7-12.mga7
+ Revision: 1171142
- patch0: use standard ISO C99 types {,u}int{32,64}_t
- fix invalid utf-8 encoding in Description
2017-10-05 - daviddavid <daviddavid> 0.7-11.mga7
+ Revision: 1169212
- enable debugging information thus fixing empty debugsourcefiles.list

See Also

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