How To Install ghc-idris on Fedora 36

In this tutorial we learn how to install ghc-idris in Fedora 36. ghc-idris is Haskell idris library

Introduction

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

What is `ghc-idris`

This package provides the Haskell idris shared library.

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

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

sudo dnf -y install ghc-idris

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

sudo yum -y install ghc-idris

How To Uninstall ghc-idris on Fedora 36

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

sudo dnf remove ghc-idris

ghc-idris Package Contents on Fedora 36

/usr/lib/.build-id
/usr/lib/.build-id/e7
/usr/lib/.build-id/e7/bb42075c65b9f633b8b9df65f2f13ed6628563
/usr/lib64/libHSidris-1.3.4-DlDpU4VDF4TXidcAITfq3-ghc8.10.5.so

References

ghc-idris website

Summary

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