Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

ocaml-creal-0.7-12.mga7 RPM for x86_64

From Mageia Cauldron for x86_64 / media / core / release

Name: ocaml-creal Distribution: Mageia
Version: 0.7 Vendor: Mageia.Org
Release: 12.mga7 Build date: Thu Oct 12 08:44:49 2017
Group: Development/OCaml Build host: localhost
Size: 1051746 Source RPM: ocaml-creal-0.7-12.mga7.src.rpm
Packager: daviddavid <daviddavid>
Url: http://www.lri.fr/~filliatr/creal.en.html
Summary: Exact real arithmetic for OCaml
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.

Provides

Requires

License

LGPLv2

Changelog

* Thu Oct 12 2017 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
* Thu Oct 05 2017 daviddavid <daviddavid> 0.7-11.mga7
  + Revision: 1169212
  - enable debugging information thus fixing empty debugsourcefiles.list
* Mon Sep 26 2016 pterjan <pterjan> 0.7-10.mga6
  + Revision: 1056313
  - Rebuild for fix in ocaml
* Fri Feb 12 2016 umeabot <umeabot> 0.7-9.mga6
  + Revision: 956317
  - Mageia 6 Mass Rebuild
* Wed Oct 15 2014 umeabot <umeabot> 0.7-8.mga5
  + Revision: 747921
  - Second Mageia 5 Mass Rebuild

Files

/usr/bin/ecalc
/usr/lib/.build-id
/usr/lib/.build-id/58
/usr/lib/.build-id/58/4b0413c50cc8749c94149e00430c933a6b5c63
/usr/lib/.build-id/bb
/usr/lib/.build-id/bb/75afa1cbe28842d5e6eac7e6797ce30effd1a1
/usr/lib64/ocaml/creal
/usr/lib64/ocaml/creal/META
/usr/lib64/ocaml/creal/cr.cmi
/usr/lib64/ocaml/creal/creal.cma
/usr/lib64/ocaml/creal/creal.cmi
/usr/lib64/ocaml/creal/dllcreal.so
/usr/lib64/ocaml/creal/gmp.cma
/usr/lib64/ocaml/creal/gmp.cmi
/usr/share/doc/ocaml-creal
/usr/share/doc/ocaml-creal/CHANGES
/usr/share/doc/ocaml-creal/README


Generated by rpm2html 1.8.1

Fabrice Bellet, Mon Oct 16 11:06:36 2017