How To Install ocaml-qcheck on Fedora 36
Introduction
In this tutorial we learn how to install ocaml-qcheck
on Fedora 36.
What is ocaml-qcheck
Qcheck enables checking invariants (properties of a type) over randomly generated instances of the type. It provides combinators for generating instances and printing them. This package is a compatibility wrapper for qcheck. New code should use either ocaml-qcheck-alcotest or ocaml-qcheck-ounit.
We can use yum
or dnf
to install ocaml-qcheck
on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install ocaml-qcheck.
Install ocaml-qcheck 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-qcheck
using dnf
by running the following command:
sudo dnf -y install ocaml-qcheck
Install ocaml-qcheck 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-qcheck
using yum
by running the following command:
sudo yum -y install ocaml-qcheck
How To Uninstall ocaml-qcheck on Fedora 36
To uninstall only the ocaml-qcheck
package we can use the following command:
sudo dnf remove ocaml-qcheck
ocaml-qcheck Package Contents on Fedora 36
---
title: "How To Install ocaml-qcheck on Fedora 36"
linkTitle: "ocaml-qcheck"
type: "docs"
description: "In this tutorial we learn how to install ocaml-qcheck in Fedora 36. ocaml-qcheck is QuickCheck inspired property-based testing for OCaml"
date: "2022-08-17"
lastmod: "2022-08-17"
#image: /images/fedora/36/ocaml-qcheck-featured.png
---
## Introduction
In this tutorial we learn how to install `ocaml-qcheck` on Fedora 36.
### What is `ocaml-qcheck`
> Qcheck enables checking invariants (properties of a type) over randomly generated instances of the type. It provides combinators for generating instances and printing them. This package is a compatibility wrapper for qcheck. New code should use either ocaml-qcheck-alcotest or ocaml-qcheck-ounit.
We can use `yum` or `dnf` to install `ocaml-qcheck` on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install ocaml-qcheck.
## Install ocaml-qcheck on Fedora 36 Using dnf
Update yum database with `dnf` using the following command.
```bash
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 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-qcheck
using yum
by running the following command:
sudo yum -y install ocaml-qcheck
How To Uninstall ocaml-qcheck on Fedora 36
To uninstall only the ocaml-qcheck
package we can use the following command:
sudo dnf remove ocaml-qcheck
ocaml-qcheck Package Contents on Fedora 36
/usr/lib/.build-id
/usr/lib/.build-id/a4
/usr/lib/.build-id/a4/87f8b68dae9249143447f1ed0c3817a90293d0
/usr/lib/ocaml/qcheck
/usr/lib/ocaml/qcheck/META
/usr/lib/ocaml/qcheck/qCheck_runner.cmi
/usr/lib/ocaml/qcheck/qcheck.cma
/usr/lib/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 Fedora 36 using yum and [dnf]((/fedora/36/dnf/).
/usr/lib/.build-id /usr/lib/.build-id/ae /usr/lib/.build-id/ae/01fcef7c7111dfb2a17b55e3ab1fd02fbbfb16 /usr/lib64/ocaml/qcheck /usr/lib64/ocaml/qcheck/META /usr/lib64/ocaml/qcheck/qCheck_runner.cmi /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
* [ocaml-qcheck website](https://c-cube.github.io/qcheck/)
## Summary
In this tutorial we learn how to install `ocaml-qcheck` on [Fedora 36](/fedora/36/) using [yum](/fedora/36/yum/) and [dnf]((/fedora/36/dnf/).