How To Install ocaml-tplib on Fedora 36

In this tutorial we learn how to install ocaml-tplib in Fedora 36. ocaml-tplib is Tropical Polyhedra Library

Introduction

In this tutorial we learn how to install ocaml-tplib on Fedora 36.

What is ocaml-tplib

TPLib computes a description by means of vertices and rays of tropical polyhedra defined by means of inequalities, and conversely. It also provides a numerical abstract domain based on tropical polyhedra, in order to infer min-/max- invariants over programs.

We can use yum or dnf to install ocaml-tplib on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install ocaml-tplib.

Install ocaml-tplib 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-tplib using dnf by running the following command:

sudo dnf -y install ocaml-tplib

Install ocaml-tplib 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-tplib using yum by running the following command:

sudo yum -y install ocaml-tplib

How To Uninstall ocaml-tplib on Fedora 36

To uninstall only the ocaml-tplib package we can use the following command:

sudo dnf remove ocaml-tplib

ocaml-tplib Package Contents on Fedora 36

/usr/lib/.build-id
/usr/lib/.build-id/98
/usr/lib/.build-id/98/a65646bccfae3c1215c7131319476ec5848e42
/usr/lib/.build-id/c3
/usr/lib/.build-id/c3/91f6282766b73b6316c2952cb2177f994a5897
/usr/lib/ocaml/tplib
/usr/lib/ocaml/tplib/META
/usr/lib/ocaml/tplib/halfspace.cmi
/usr/lib/ocaml/tplib/hypergraph.cmi
/usr/lib/ocaml/tplib/mlgmp_plugin.cmxs
/usr/lib/ocaml/tplib/numeric.cmi
/usr/lib/ocaml/tplib/semiring.cmi
/usr/lib/ocaml/tplib/tplib_abstract.cmi
/usr/lib/ocaml/tplib/tplib_core.cmi
/usr/lib/ocaml/tplib/vector.cmi
/usr/lib/ocaml/tplib/zarith_plugin.cmxs
/usr/share/doc/ocaml-tplib
/usr/share/doc/ocaml-tplib/README
/usr/share/licenses/ocaml-tplib
/usr/share/licenses/ocaml-tplib/LICENSE

References

Summary

In this tutorial we learn how to install ocaml-tplib on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).

title: “How To Install ocaml-tplib on Fedora 36” linkTitle: “ocaml-tplib” type: “docs” description: “In this tutorial we learn how to install ocaml-tplib in Fedora 36. ocaml-tplib is Tropical Polyhedra Library” date: “2022-08-17” lastmod: “2022-08-17” #image: /images/fedora/36/ocaml-tplib-featured.png

Introduction

In this tutorial we learn how to install ocaml-tplib on Fedora 36.

What is ocaml-tplib

TPLib computes a description by means of vertices and rays of tropical polyhedra defined by means of inequalities, and conversely. It also provides a numerical abstract domain based on tropical polyhedra, in order to infer min-/max- invariants over programs.

We can use yum or dnf to install ocaml-tplib on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install ocaml-tplib.

Install ocaml-tplib 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-tplib using dnf by running the following command:

sudo dnf -y install ocaml-tplib

Install ocaml-tplib 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-tplib using yum by running the following command:

sudo yum -y install ocaml-tplib

How To Uninstall ocaml-tplib on Fedora 36

To uninstall only the ocaml-tplib package we can use the following command:

sudo dnf remove ocaml-tplib

ocaml-tplib Package Contents on Fedora 36

/usr/lib/.build-id
/usr/lib/.build-id/0c
/usr/lib/.build-id/0c/d6f98bf48ba026af22ac60142c64ed27b97a71
/usr/lib/.build-id/e0
/usr/lib/.build-id/e0/186ee401efe67de1f456e72ac733584e473164
/usr/lib64/ocaml/tplib
/usr/lib64/ocaml/tplib/META
/usr/lib64/ocaml/tplib/halfspace.cmi
/usr/lib64/ocaml/tplib/hypergraph.cmi
/usr/lib64/ocaml/tplib/mlgmp_plugin.cmxs
/usr/lib64/ocaml/tplib/numeric.cmi
/usr/lib64/ocaml/tplib/semiring.cmi
/usr/lib64/ocaml/tplib/tplib_abstract.cmi
/usr/lib64/ocaml/tplib/tplib_core.cmi
/usr/lib64/ocaml/tplib/vector.cmi
/usr/lib64/ocaml/tplib/zarith_plugin.cmxs
/usr/share/doc/ocaml-tplib
/usr/share/doc/ocaml-tplib/README
/usr/share/licenses/ocaml-tplib
/usr/share/licenses/ocaml-tplib/LICENSE

References

Summary

In this tutorial we learn how to install ocaml-tplib on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).