How To Install ocaml-qcheck on CentOS 8
Introduction
In this tutorial we learn how to install ocaml-qcheck on CentOS 8.
What is ocaml-qcheck
This module allows to check invariants (properties of some types) over randomly generated instances of the type. It provides combinators for generating instances and printing them.
We can use yum or dnf to install ocaml-qcheck on CentOS 8. In this tutorial we discuss both methods but you only need to choose one of method to install ocaml-qcheck.
Install ocaml-qcheck on CentOS 8 Using yum
Update yum database with yum using the following command.
sudo yum makecache
After updating yum database, We can install ocaml-qcheck using yum by running the following command:
sudo yum -y install ocaml-qcheck
Install ocaml-qcheck on CentOS 8 Using dnf
If you don’t have dnf installed you can install DNF on CentOS 7 first.
Update yum database with dnf using the following command.
sudo dnf makecache
After updating yum database, We can install ocaml-qcheck using dnf by running the following command:
sudo dnf -y install ocaml-qcheck
How To Uninstall ocaml-qcheck on CentOS 8
To uninstall only the ocaml-qcheck package we can use the following command:
sudo dnf remove ocaml-qcheck
References
Summary
In this tutorial we learn how to install ocaml-qcheck on CentOS 8 using yum and dnf.