How To Install ocaml-zarith on Fedora 36
Introduction
In this tutorial we learn how to install ocaml-zarith on Fedora 36.
What is ocaml-zarith
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
We can use yum or dnf to install ocaml-zarith on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install ocaml-zarith.
Install ocaml-zarith on Fedora 36 Using dnf
Update yum database with dnf using the following command.
sudo dnf makecache --refresh
After updating yum database, We can install ocaml-zarith using dnf by running the following command:
sudo dnf -y install ocaml-zarith
Install ocaml-zarith on Fedora 36 Using yum
Update yum database with yum using the following command.
sudo yum makecache --refresh
After updating yum database, We can install ocaml-zarith using yum by running the following command:
sudo yum -y install ocaml-zarith
How To Uninstall ocaml-zarith on Fedora 36
To uninstall only the ocaml-zarith package we can use the following command:
sudo dnf remove ocaml-zarith
ocaml-zarith Package Contents on Fedora 36
/usr/lib/.build-id
/usr/lib/.build-id/c1
/usr/lib/.build-id/c1/7b44aca9f04c48ba4537b0b0eecd79a1300fab
/usr/lib/.build-id/d1
/usr/lib/.build-id/d1/f325f4684460da87fe10c685dd8ef88e36bdab
/usr/lib/ocaml/stublibs/dllzarith.so
/usr/lib/ocaml/stublibs/dllzarith.so.owner
/usr/lib/ocaml/zarith
/usr/lib/ocaml/zarith/META
/usr/lib/ocaml/zarith/big_int_Z.cmi
/usr/lib/ocaml/zarith/big_int_Z.cmti
/usr/lib/ocaml/zarith/q.cmi
/usr/lib/ocaml/zarith/q.cmti
/usr/lib/ocaml/zarith/z.cmi
/usr/lib/ocaml/zarith/z.cmti
/usr/lib/ocaml/zarith/zarith.cma
/usr/lib/ocaml/zarith/zarith.cmxs
/usr/lib/ocaml/zarith/zarith_top.cma
/usr/share/doc/ocaml-zarith
/usr/share/doc/ocaml-zarith/README.md
/usr/share/licenses/ocaml-zarith
/usr/share/licenses/ocaml-zarith/LICENSE
References
Summary
In this tutorial we learn how to install ocaml-zarith on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).
title: “How To Install ocaml-zarith on Fedora 36” linkTitle: “ocaml-zarith” type: “docs” description: “In this tutorial we learn how to install ocaml-zarith in Fedora 36. ocaml-zarith is OCaml interface to GMP” date: “2022-08-17” lastmod: “2022-08-17” #image: /images/fedora/36/ocaml-zarith-featured.png
Introduction
In this tutorial we learn how to install ocaml-zarith on Fedora 36.
What is ocaml-zarith
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
We can use yum or dnf to install ocaml-zarith on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install ocaml-zarith.
Install ocaml-zarith on Fedora 36 Using dnf
Update yum database with dnf using the following command.
sudo dnf makecache --refresh
After updating yum database, We can install ocaml-zarith using dnf by running the following command:
sudo dnf -y install ocaml-zarith
Install ocaml-zarith on Fedora 36 Using yum
Update yum database with yum using the following command.
sudo yum makecache --refresh
After updating yum database, We can install ocaml-zarith using yum by running the following command:
sudo yum -y install ocaml-zarith
How To Uninstall ocaml-zarith on Fedora 36
To uninstall only the ocaml-zarith package we can use the following command:
sudo dnf remove ocaml-zarith
ocaml-zarith Package Contents on Fedora 36
/usr/lib/.build-id
/usr/lib/.build-id/11
/usr/lib/.build-id/11/82adff766d5d2d3635c41e424bacb2d422fd95
/usr/lib/.build-id/97
/usr/lib/.build-id/97/f32ba83c1c06398608bfe4ff2dc12dc0699d4e
/usr/lib64/ocaml/stublibs/dllzarith.so
/usr/lib64/ocaml/stublibs/dllzarith.so.owner
/usr/lib64/ocaml/zarith
/usr/lib64/ocaml/zarith/META
/usr/lib64/ocaml/zarith/big_int_Z.cmi
/usr/lib64/ocaml/zarith/big_int_Z.cmti
/usr/lib64/ocaml/zarith/q.cmi
/usr/lib64/ocaml/zarith/q.cmti
/usr/lib64/ocaml/zarith/z.cmi
/usr/lib64/ocaml/zarith/z.cmti
/usr/lib64/ocaml/zarith/zarith.cma
/usr/lib64/ocaml/zarith/zarith.cmxs
/usr/lib64/ocaml/zarith/zarith_top.cma
/usr/share/doc/ocaml-zarith
/usr/share/doc/ocaml-zarith/README.md
/usr/share/licenses/ocaml-zarith
/usr/share/licenses/ocaml-zarith/LICENSE
References
Summary
In this tutorial we learn how to install ocaml-zarith on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).
