How To Install idris-manual on Fedora 36

In this tutorial we learn how to install idris-manual in Fedora 36. idris-manual is The Idris manual

Introduction

In this tutorial we learn how to install idris-manual on Fedora 36.

What is idris-manual

This package provides the manual for the Idris programming language.

We can use yum or dnf to install idris-manual on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install idris-manual.

Install idris-manual 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 idris-manual using dnf by running the following command:

sudo dnf -y install idris-manual

Install idris-manual 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 idris-manual using yum by running the following command:

sudo yum -y install idris-manual

How To Uninstall idris-manual on Fedora 36

To uninstall only the idris-manual package we can use the following command:

sudo dnf remove idris-manual

idris-manual Package Contents on Fedora 36

/usr/share/doc/idris-manual
/usr/share/doc/idris-manual/idris-tutorial.pdf

References

Summary

In this tutorial we learn how to install idris-manual on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).