How To Install ocaml-why3 on Fedora 36
Introduction
In this tutorial we learn how to install ocaml-why3
on Fedora 36.
What is ocaml-why3
This package contains an ocaml library that exposes the functionality of why3 to applications.
We can use yum
or dnf
to install ocaml-why3
on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install ocaml-why3.
Install ocaml-why3 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-why3
using dnf
by running the following command:
sudo dnf -y install ocaml-why3
Install ocaml-why3 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-why3
using yum
by running the following command:
sudo yum -y install ocaml-why3
How To Uninstall ocaml-why3 on Fedora 36
To uninstall only the ocaml-why3
package we can use the following command:
sudo dnf remove ocaml-why3
ocaml-why3 Package Contents on Fedora 36
/usr/lib/.build-id
/usr/lib/.build-id/95
/usr/lib/.build-id/95/55a0c567caad03c36736644d4d769c85269c9b
/usr/lib/ocaml/why3
/usr/lib/ocaml/why3/META
/usr/lib/ocaml/why3/why3.cmi
/usr/lib/ocaml/why3/why3.cmxs
References
Summary
In this tutorial we learn how to install ocaml-why3
on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).
title: “How To Install ocaml-why3 on Fedora 36” linkTitle: “ocaml-why3” type: “docs” description: “In this tutorial we learn how to install ocaml-why3 in Fedora 36. ocaml-why3 is Software verification library for ocaml” date: “2022-08-17” lastmod: “2022-08-17” #image: /images/fedora/36/ocaml-why3-featured.png
Introduction
In this tutorial we learn how to install ocaml-why3
on Fedora 36.
What is ocaml-why3
This package contains an ocaml library that exposes the functionality of why3 to applications.
We can use yum
or dnf
to install ocaml-why3
on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install ocaml-why3.
Install ocaml-why3 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-why3
using dnf
by running the following command:
sudo dnf -y install ocaml-why3
Install ocaml-why3 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-why3
using yum
by running the following command:
sudo yum -y install ocaml-why3
How To Uninstall ocaml-why3 on Fedora 36
To uninstall only the ocaml-why3
package we can use the following command:
sudo dnf remove ocaml-why3
ocaml-why3 Package Contents on Fedora 36
/usr/lib/.build-id
/usr/lib/.build-id/33/337a91f2dbccc41fed2c1c0065633c935b54e0
/usr/lib64/ocaml/why3
/usr/lib64/ocaml/why3/META
/usr/lib64/ocaml/why3/why3.cmi
/usr/lib64/ocaml/why3/why3.cmxs
References
Summary
In this tutorial we learn how to install ocaml-why3
on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).