How to Install and Uninstall ocaml-zarith.x86_64 Package on Fedora 36

Last updated: May 09,2024

1. Install "ocaml-zarith.x86_64" package

This guide covers the steps necessary to install ocaml-zarith.x86_64 on Fedora 36

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

2. Uninstall "ocaml-zarith.x86_64" package

This guide let you learn how to uninstall ocaml-zarith.x86_64 on Fedora 36:

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

3. Information about the ocaml-zarith.x86_64 package on Fedora 36

Last metadata expiration check: 0:09:53 ago on Thu Sep 8 08:04:50 2022.
Available Packages
Name : ocaml-zarith
Version : 1.12
Release : 5.fc36
Architecture : x86_64
Size : 184 k
Source : ocaml-zarith-1.12-5.fc36.src.rpm
Repository : fedora
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