ocaml-creal-0.7-20.mga8 RPM for armv7hl

From Mageia 8 for armv7hl / media / core / release

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

• ocaml-creal
• ocaml(Cr)
• ocaml(Creal)
• ocaml(Gmp)
• ocaml-creal(armv7hl-32)

Requires

• ld-linux-armhf.so.3
• ld-linux-armhf.so.3(GLIBC_2.4)
• libc.so.6
• libc.so.6(GLIBC_2.17)
• libc.so.6(GLIBC_2.4)
• libc.so.6(GLIBC_2.7)
• libdl.so.2
• libdl.so.2(GLIBC_2.4)
• libgmp.so.10
• libm.so.6
• libm.so.6(GLIBC_2.27)
• libm.so.6(GLIBC_2.29)
• libm.so.6(GLIBC_2.4)
• ocaml(CamlinternalFormatBasics) = f562e7b79dbe1bb1591060d6b4e854cf
• ocaml(Gmp) = fd62377c47400cf9de601528d7ab1156
• ocaml(Stdlib) = aea3513d44d604b62eaff79ad12007b3
• 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
• rpmlib(CompressedFileNames) <= 3.0.4-1
• rpmlib(FileDigests) <= 4.6.0-1
• rpmlib(PayloadFilesHavePrefix) <= 4.0-1
• rpmlib(PayloadIsZstd) <= 5.4.18-1

License

LGPLv2

Changelog

* Fri Aug 21 2020 pterjan <pterjan> 0.7-20.mga8
  + Revision: 1617692
  - Add Debian patch to fix build with GCC 10
  + umeabot <umeabot>
  - Rebuild for new ocaml deps generator
* Fri Feb 28 2020 umeabot <umeabot> 0.7-19.mga8
  + Revision: 1551137
  - Rebuild for ocaml 4.10.0 final
* Thu Feb 20 2020 umeabot <umeabot> 0.7-18.mga8
  + Revision: 1545289
  - Mageia 8 Mass Rebuild
* Tue Jan 28 2020 tv <tv> 0.7-17.mga8
  + Revision: 1484332
  - rebuild for ocaml-4.10
  + wally <wally>
  - replace deprecated %configure2_5x
* Tue Oct 23 2018 tv <tv> 0.7-16.mga7
  + Revision: 1324042
  - rebuild with ocaml-4.07.1
* Mon Oct 22 2018 pterjan <pterjan> 0.7-15.mga7
  + Revision: 1323730
  - Rebuild for ocaml 4.07
* Sun Sep 23 2018 umeabot <umeabot> 0.7-14.mga7
  + Revision: 1299855
  - Mageia 7 Mass Rebuild

Files

/usr/bin/ecalc
/usr/lib/.build-id
/usr/lib/.build-id/4f
/usr/lib/.build-id/4f/8c7f921d7e2368ced0615f1793904fa3ad88b2
/usr/lib/.build-id/90
/usr/lib/.build-id/90/5f4a791104a7164f7bf25386cbb55d4f973591
/usr/lib/ocaml/creal
/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
/usr/share/doc/ocaml-creal/CHANGES
/usr/share/doc/ocaml-creal/README

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Apr 9 16:03:47 2024