ocaml-creal-0.7-6.mga4.i586.rpm


Advertisement

Description

ocaml-creal - Exact real arithmetic for OCaml

Property Value
Distribution Mageia 4.1
Repository Mageia Core i586
Package name ocaml-creal
Package version 0.7
Package release 6.mga4
Package architecture i586
Package type rpm
Installed size 816.01 KB
Download size 252.88 KB
Official Mirror distrib-coffee.ipsl.jussieu.fr
Creal is an exact real arithmetic library for Objective Caml.
This module implements exact real arithmetic, following Valérie
Ménissier-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 Filliâtre.

Alternatives

Package Version Architecture Repository
ocaml-creal-0.7-6.mga4.x86_64.rpm 0.7 x86_64 Mageia Core
ocaml-creal - - -

Requires

Name Value
libc.so.6 -
libc.so.6(GLIBC_2.0) -
libc.so.6(GLIBC_2.1) -
libc.so.6(GLIBC_2.1.3) -
libc.so.6(GLIBC_2.2) -
libc.so.6(GLIBC_2.3) -
libc.so.6(GLIBC_2.7) -
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) -

Provides

Name Value
dllcreal.so -
ocaml-creal == 0.7-6.mga4
ocaml-creal(x86-32) == 0.7-6.mga4

Download

Type URL
Binary Package ocaml-creal-0.7-6.mga4.i586.rpm
Source Package ocaml-creal-0.7-6.mga4.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

Files

Path
/usr/bin/ecalc
/usr/lib/ocaml/creal/META
/usr/lib/ocaml/creal/cr.cmi
/usr/lib/ocaml/creal/creal.cma
/usr/lib/ocaml/creal/creal.cmi
/usr/lib/ocaml/creal/dllcreal.so
/usr/lib/ocaml/creal/gmp.cma
/usr/lib/ocaml/creal/gmp.cmi
/usr/share/doc/ocaml-creal/CHANGES
/usr/share/doc/ocaml-creal/README

Changelog

2013-10-19 - umeabot <umeabot> 0.7-6.mga4
+ Revision: 535760
- Mageia 4 Mass Rebuild
2013-09-20 - malo <malo> 0.7-5.mga4
+ Revision: 482446
- rebuild for ocaml-4.01.0
2013-01-12 - umeabot <umeabot> 0.7-4.mga3
+ Revision: 361235
- Mass Rebuild - https://wiki.mageia.org/en/Feature:Mageia3MassRebuild
2012-10-01 - blue_prawn <blue_prawn> 0.7-3.mga3
+ Revision: 301645
- new rpm group for ocaml
- new rpm group for ocaml
2012-04-12 - blue_prawn <blue_prawn> 0.7-1.mga2
+ Revision: 230541
- imported package ocaml-creal
2012-04-12 - Florent Monnier <blue_prawn at mageia.org>
- fixed META file
- install missing dllcreal.so
- adapted the spec file for Mageia

See Also

Package Description
ocaml-creal-devel-0.7-6.mga4.i586.rpm Exact real arithmetic for Objective Caml
ocaml-cry-0.2.2-7.mga4.i586.rpm OCaml interface for MP3/Ogg Vorbis broadcast
ocaml-cry-devel-0.2.2-7.mga4.i586.rpm Development files for ocaml-cry
ocaml-cryptgps-0.2.1-7.mga4.i586.rpm Cryptographic functions
ocaml-cryptgps-devel-0.2.1-7.mga4.i586.rpm Development files for ocaml-cryptgps
ocaml-cryptokit-1.9-2.mga4.i586.rpm OCaml library of cryptographic and hash functions
ocaml-cryptokit-devel-1.9-2.mga4.i586.rpm Development files for ocaml-cryptokit
ocaml-csv-1.3.1-2.mga4.i586.rpm OCaml library for reading and writing CSV files
ocaml-csv-devel-1.3.1-2.mga4.i586.rpm Development files for ocaml-csv
ocaml-cudf-0.6.3-6.mga4.i586.rpm CUDF (Common Upgradeability Description Format) OCaml development stuff
ocaml-cudf-devel-0.6.3-6.mga4.i586.rpm Development files for ocaml-cudf
ocaml-curl-0.5.3-13.mga4.i586.rpm OCaml Curl library (ocurl)
ocaml-curl-devel-0.5.3-13.mga4.i586.rpm Development files for ocaml-curl
ocaml-curses-1.0.3-11.mga4.i586.rpm OCaml bindings for ncurses
ocaml-curses-devel-1.0.3-11.mga4.i586.rpm Development files for ocaml-curses
Advertisement
Advertisement