How To Install ghc-Agda on Fedora 36

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

Introduction

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

What is ghc-Agda

This package provides the Haskell Agda shared library.

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

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

sudo dnf -y install ghc-Agda

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

sudo yum -y install ghc-Agda

How To Uninstall ghc-Agda on Fedora 36

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

sudo dnf remove ghc-Agda

ghc-Agda Package Contents on Fedora 36

/usr/lib/.build-id
/usr/lib/.build-id/9c
/usr/lib/.build-id/9c/39714142f07ff804ed06a6893995bc3aa851af
/usr/lib64/libHSAgda-2.6.2.1-LvHTW8pd3Vr2rIoKv0Upjq-ghc8.10.5.so

References

Summary

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