How to Install and Uninstall ocaml-zarith.x86_64 Package on Red Hat Enterprise Linux 9 (RHEL 9)

Last metadata expiration check: 1:32:37 ago on Mon Feb 26 07:04:30 2024.
Available Packages
Name : ocaml-zarith
Version : 1.12
Release : 5.el9
Architecture : x86_64
Size : 183 k
Source : ocaml-zarith-1.12-5.el9.src.rpm
Repository : epel
Summary : OCaml interface to GMP
URL : https://github.com/ocaml/Zarith/
License : LGPLv2 with exceptions
Description : This library implements arithmetic and logical operations over
: arbitrary-precision integers.
:
: The module is simply named "Z". Its interface is similar to that of the
: Int32, Int64 and Nativeint modules from the OCaml standard library, with
: some additional functions. See the file z.mlip for documentation.
:
: The implementation uses GMP (the GNU Multiple Precision arithmetic
: library) to compute over big integers. However, small integers are
: represented as unboxed Caml integers, to save space and improve
: performance. Big integers are allocated in the Caml heap, bypassing
: GMP's memory management and achieving better GC behavior than e.g. the
: MLGMP library. Computations on small integers use a special, faster
: path (coded in assembly for some platforms and functions) eschewing
: calls to GMP, while computations on large integers use the low-level
: MPN functions from GMP.
:
: Arbitrary-precision integers can be compared correctly using OCaml's
: polymorphic comparison operators (=, <, >, etc.).
:
: Additional features include:
: - a module Q for rationals, built on top of Z (see q.mli)
: - a compatibility layer Big_int_Z that implements the same API as Big_int,
: but uses Z internally