How To Install ghc-Agda on CentOS 7
Introduction
In this tutorial we learn how to install ghc-Agda
on CentOS 7.
What is ghc-Agda
This package provides the Haskell Agda shared library.
We can use yum
or dnf
to install ghc-Agda
on CentOS 7. In this tutorial we discuss both methods but you only need to choose one of method to install ghc-Agda.
Install ghc-Agda on CentOS 7 Using yum
Update yum database with yum
using the following command.
After updating yum database, We can install ghc-Agda
using yum
by running the following command:
Install ghc-Agda on CentOS 7 Using dnf
If you don’t have dnf installed you can install DNF on CentOS 7 first.
Update yum database with dnf
using the following command.
After updating yum database, We can install ghc-Agda
using dnf
by running the following command:
How To Uninstall ghc-Agda on CentOS 7
To uninstall only the ghc-Agda
package we can use the following command:
References
Summary
In this tutorial we learn how to install ghc-Agda
on CentOS 7 using yum
and dnf
.