How To Install ocaml-qcheck on Rocky Linux 8
Introduction
In this tutorial we learn how to install ocaml-qcheck on Rocky Linux 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 Rocky Linux 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 Rocky Linux 8 Using dnf
Update yum database with dnf using the following command.
sudo dnf makecache --refresh
After updating yum database, We can install ocaml-qcheck using dnf by running the following command:
sudo dnf -y install ocaml-qcheck
Install ocaml-qcheck on Rocky Linux 8 Using yum
Update yum database with yum using the following command.
sudo yum makecache --refresh
After updating yum database, We can install ocaml-qcheck using yum by running the following command:
sudo yum -y install ocaml-qcheck
How To Uninstall ocaml-qcheck on Rocky Linux 8
To uninstall only the ocaml-qcheck package we can use the following command:
sudo dnf remove ocaml-qcheck
ocaml-qcheck Package Contents on Rocky Linux 8
/usr/lib/.build-id
/usr/lib/.build-id/02
/usr/lib/.build-id/02/4e80a68b623d37c8ce9fafa5504e3f6db50d59
/usr/lib/.build-id/13
/usr/lib/.build-id/13/2daa809613a0a422e29ac76dd39ce68affef22
/usr/lib/.build-id/21
/usr/lib/.build-id/21/4a440b6f902b3c9afc1cef7b0777716f77b1b9
/usr/lib/.build-id/aa
/usr/lib/.build-id/aa/24a1594e8c78a752d957629d87ac875d979c91
/usr/lib64/ocaml/qcheck
/usr/lib64/ocaml/qcheck-core
/usr/lib64/ocaml/qcheck-core/META
/usr/lib64/ocaml/qcheck-core/QCheck.cmi
/usr/lib64/ocaml/qcheck-core/QCheck.cmt
/usr/lib64/ocaml/qcheck-core/QCheck.cmti
/usr/lib64/ocaml/qcheck-core/dune-package
/usr/lib64/ocaml/qcheck-core/opam
/usr/lib64/ocaml/qcheck-core/qcheck_core.cma
/usr/lib64/ocaml/qcheck-core/qcheck_core.cmxs
/usr/lib64/ocaml/qcheck-core/runner
/usr/lib64/ocaml/qcheck-core/runner/QCheck_base_runner.cmi
/usr/lib64/ocaml/qcheck-core/runner/QCheck_base_runner.cmt
/usr/lib64/ocaml/qcheck-core/runner/QCheck_base_runner.cmti
/usr/lib64/ocaml/qcheck-core/runner/qcheck_runner.cma
/usr/lib64/ocaml/qcheck-core/runner/qcheck_runner.cmxs
/usr/lib64/ocaml/qcheck-ounit
/usr/lib64/ocaml/qcheck-ounit/META
/usr/lib64/ocaml/qcheck-ounit/QCheck_ounit.cmi
/usr/lib64/ocaml/qcheck-ounit/QCheck_ounit.cmt
/usr/lib64/ocaml/qcheck-ounit/QCheck_ounit.cmti
/usr/lib64/ocaml/qcheck-ounit/dune-package
/usr/lib64/ocaml/qcheck-ounit/opam
/usr/lib64/ocaml/qcheck-ounit/qcheck_ounit.cma
/usr/lib64/ocaml/qcheck-ounit/qcheck_ounit.cmxs
/usr/lib64/ocaml/qcheck/META
/usr/lib64/ocaml/qcheck/QCheck_runner.cmi
/usr/lib64/ocaml/qcheck/QCheck_runner.cmt
/usr/lib64/ocaml/qcheck/dune-package
/usr/lib64/ocaml/qcheck/opam
/usr/lib64/ocaml/qcheck/qcheck.cma
/usr/lib64/ocaml/qcheck/qcheck.cmxs
/usr/share/doc/ocaml-qcheck
/usr/share/doc/ocaml-qcheck/CHANGELOG.md
/usr/share/doc/ocaml-qcheck/README.adoc
/usr/share/licenses/ocaml-qcheck
/usr/share/licenses/ocaml-qcheck/LICENSE
References
Summary
In this tutorial we learn how to install ocaml-qcheck on Rocky Linux 8 using yum and dnf.