How to Install and Uninstall ocaml-tplib.x86_64 Package on Fedora 38
Last updated: November 28,2024
1. Install "ocaml-tplib.x86_64" package
In this section, we are going to explain the necessary steps to install ocaml-tplib.x86_64 on Fedora 38
$
sudo dnf update
Copied
$
sudo dnf install
ocaml-tplib.x86_64
Copied
2. Uninstall "ocaml-tplib.x86_64" package
Please follow the step by step instructions below to uninstall ocaml-tplib.x86_64 on Fedora 38:
$
sudo dnf remove
ocaml-tplib.x86_64
Copied
$
sudo dnf autoremove
Copied
3. Information about the ocaml-tplib.x86_64 package on Fedora 38
Last metadata expiration check: 0:27:56 ago on Sat Mar 16 16:59:57 2024.
Available Packages
Name : ocaml-tplib
Version : 1.3
Release : 72.fc38
Architecture : x86_64
Size : 156 k
Source : ocaml-tplib-1.3-72.fc38.src.rpm
Repository : fedora
Summary : Tropical Polyhedra Library
URL : https://gforge.inria.fr/projects/tplib
License : LGPLv2+
Description : 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.
Available Packages
Name : ocaml-tplib
Version : 1.3
Release : 72.fc38
Architecture : x86_64
Size : 156 k
Source : ocaml-tplib-1.3-72.fc38.src.rpm
Repository : fedora
Summary : Tropical Polyhedra Library
URL : https://gforge.inria.fr/projects/tplib
License : LGPLv2+
Description : 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.