How to Install and Uninstall ocaml-zarith.x86_64 Package on Oracle Linux 9

Last updated: November 30,2024

1. Install "ocaml-zarith.x86_64" package

Please follow the step by step instructions below to install ocaml-zarith.x86_64 on Oracle Linux 9

$ sudo dnf update $ sudo dnf install ocaml-zarith.x86_64

2. Uninstall "ocaml-zarith.x86_64" package

Learn how to uninstall ocaml-zarith.x86_64 on Oracle Linux 9:

$ sudo dnf remove ocaml-zarith.x86_64 $ sudo dnf autoremove

3. Information about the ocaml-zarith.x86_64 package on Oracle Linux 9

Last metadata expiration check: 0:35:12 ago on Thu Feb 15 07:50:05 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