How to Install and Uninstall ocaml-zarith.i686 Package on Fedora 38
Last updated: November 25,2024
1. Install "ocaml-zarith.i686" package
Please follow the guidelines below to install ocaml-zarith.i686 on Fedora 38
$
sudo dnf update
Copied
$
sudo dnf install
ocaml-zarith.i686
Copied
2. Uninstall "ocaml-zarith.i686" package
This is a short guide on how to uninstall ocaml-zarith.i686 on Fedora 38:
$
sudo dnf remove
ocaml-zarith.i686
Copied
$
sudo dnf autoremove
Copied
3. Information about the ocaml-zarith.i686 package on Fedora 38
Last metadata expiration check: 3:57:33 ago on Sat Mar 16 16:59:57 2024.
Available Packages
Name : ocaml-zarith
Version : 1.12
Release : 9.fc38
Architecture : i686
Size : 148 k
Source : ocaml-zarith-1.12-9.fc38.src.rpm
Repository : fedora
Summary : OCaml interface to GMP
URL : https://github.com/ocaml/Zarith/
License : LGPL-2.1-only WITH OCaml-LGPL-linking-exception
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
Available Packages
Name : ocaml-zarith
Version : 1.12
Release : 9.fc38
Architecture : i686
Size : 148 k
Source : ocaml-zarith-1.12-9.fc38.src.rpm
Repository : fedora
Summary : OCaml interface to GMP
URL : https://github.com/ocaml/Zarith/
License : LGPL-2.1-only WITH OCaml-LGPL-linking-exception
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