How To Install ocaml-qcheck-core-devel on Fedora 36
Introduction
In this tutorial we learn how to install ocaml-qcheck-core-devel
on Fedora 36.
What is ocaml-qcheck-core-devel
Qcheck enables checking invariants (properties of a type) over randomly generated instances of the type. It provides combinators for generating instances and printing them. The ocaml-qcheck-core-devel package contains libraries and signature files for developing applications that use ocaml-qcheck-core.
We can use yum
or dnf
to install ocaml-qcheck-core-devel
on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install ocaml-qcheck-core-devel.
Install ocaml-qcheck-core-devel 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-core-devel
using dnf
by running the following command:
sudo dnf -y install ocaml-qcheck-core-devel
Install ocaml-qcheck-core-devel 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-core-devel
using yum
by running the following command:
sudo yum -y install ocaml-qcheck-core-devel
How To Uninstall ocaml-qcheck-core-devel on Fedora 36
To uninstall only the ocaml-qcheck-core-devel
package we can use the following command:
sudo dnf remove ocaml-qcheck-core-devel
ocaml-qcheck-core-devel Package Contents on Fedora 36
---
title: "How To Install ocaml-qcheck-core-devel on Fedora 36"
linkTitle: "ocaml-qcheck-core-devel"
type: "docs"
description: "In this tutorial we learn how to install ocaml-qcheck-core-devel in Fedora 36. ocaml-qcheck-core-devel is Development files for ocaml-qcheck-core"
date: "2022-08-17"
lastmod: "2022-08-17"
#image: /images/fedora/36/ocaml-qcheck-core-devel-featured.png
---
## Introduction
In this tutorial we learn how to install `ocaml-qcheck-core-devel` on Fedora 36.
### What is `ocaml-qcheck-core-devel`
> Qcheck enables checking invariants (properties of a type) over randomly generated instances of the type. It provides combinators for generating instances and printing them. The ocaml-qcheck-core-devel package contains libraries and signature files for developing applications that use ocaml-qcheck-core.
We can use `yum` or `dnf` to install `ocaml-qcheck-core-devel` on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install ocaml-qcheck-core-devel.
## Install ocaml-qcheck-core-devel 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-core-devel
using dnf
by running the following command:
sudo dnf -y install ocaml-qcheck-core-devel
Install ocaml-qcheck-core-devel 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-core-devel
using yum
by running the following command:
sudo yum -y install ocaml-qcheck-core-devel
How To Uninstall ocaml-qcheck-core-devel on Fedora 36
To uninstall only the ocaml-qcheck-core-devel
package we can use the following command:
sudo dnf remove ocaml-qcheck-core-devel
ocaml-qcheck-core-devel Package Contents on Fedora 36
/usr/lib/ocaml/qcheck-core/QCheck.ml
/usr/lib/ocaml/qcheck-core/QCheck.mli
/usr/lib/ocaml/qcheck-core/QCheck2.ml
/usr/lib/ocaml/qcheck-core/QCheck2.mli
/usr/lib/ocaml/qcheck-core/dune-package
/usr/lib/ocaml/qcheck-core/opam
/usr/lib/ocaml/qcheck-core/qCheck.cmi
/usr/lib/ocaml/qcheck-core/qCheck.cmt
/usr/lib/ocaml/qcheck-core/qCheck.cmti
/usr/lib/ocaml/qcheck-core/qCheck.cmx
/usr/lib/ocaml/qcheck-core/qCheck2.cmi
/usr/lib/ocaml/qcheck-core/qCheck2.cmt
/usr/lib/ocaml/qcheck-core/qCheck2.cmti
/usr/lib/ocaml/qcheck-core/qCheck2.cmx
/usr/lib/ocaml/qcheck-core/qcheck_core.a
/usr/lib/ocaml/qcheck-core/qcheck_core.cma
/usr/lib/ocaml/qcheck-core/qcheck_core.cmxa
/usr/lib/ocaml/qcheck-core/runner/QCheck_base_runner.ml
/usr/lib/ocaml/qcheck-core/runner/QCheck_base_runner.mli
/usr/lib/ocaml/qcheck-core/runner/qCheck_base_runner.cmi
/usr/lib/ocaml/qcheck-core/runner/qCheck_base_runner.cmt
/usr/lib/ocaml/qcheck-core/runner/qCheck_base_runner.cmti
/usr/lib/ocaml/qcheck-core/runner/qCheck_base_runner.cmx
/usr/lib/ocaml/qcheck-core/runner/qcheck_runner.a
/usr/lib/ocaml/qcheck-core/runner/qcheck_runner.cma
/usr/lib/ocaml/qcheck-core/runner/qcheck_runner.cmxa
References
Summary
In this tutorial we learn how to install ocaml-qcheck-core-devel
on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).
/usr/lib64/ocaml/qcheck-core/QCheck.ml /usr/lib64/ocaml/qcheck-core/QCheck.mli /usr/lib64/ocaml/qcheck-core/QCheck2.ml /usr/lib64/ocaml/qcheck-core/QCheck2.mli /usr/lib64/ocaml/qcheck-core/dune-package /usr/lib64/ocaml/qcheck-core/opam /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/qCheck.cmx /usr/lib64/ocaml/qcheck-core/qCheck2.cmi /usr/lib64/ocaml/qcheck-core/qCheck2.cmt /usr/lib64/ocaml/qcheck-core/qCheck2.cmti /usr/lib64/ocaml/qcheck-core/qCheck2.cmx /usr/lib64/ocaml/qcheck-core/qcheck_core.a /usr/lib64/ocaml/qcheck-core/qcheck_core.cma /usr/lib64/ocaml/qcheck-core/qcheck_core.cmxa /usr/lib64/ocaml/qcheck-core/runner/QCheck_base_runner.ml /usr/lib64/ocaml/qcheck-core/runner/QCheck_base_runner.mli /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_base_runner.cmx /usr/lib64/ocaml/qcheck-core/runner/qcheck_runner.a /usr/lib64/ocaml/qcheck-core/runner/qcheck_runner.cma /usr/lib64/ocaml/qcheck-core/runner/qcheck_runner.cmxa
## References
* [ocaml-qcheck-core-devel website](https://c-cube.github.io/qcheck/)
## Summary
In this tutorial we learn how to install `ocaml-qcheck-core-devel` on [Fedora 36](/fedora/36/) using [yum](/fedora/36/yum/) and [dnf]((/fedora/36/dnf/).