How to Install Agda-2.5.3-12.fc28.x86_64 in Fedora Operting System- Explained

1. Open the terminal. (Ctrl+Alt+T)

2. Enter the following commands in the terminal:

sudo dnf install Agda-2.5.3-12.fc28.x86_64 .rpm
sudo dnf upgrade

3. Agda-2.5.3-12.fc28.x86_64 is now installed.

 

In case you get any error while installing the package, try the commands given below and repeat the previous commands

sudo dnf erase Agda-2.5.3-12.fc28.x86_64 .rpm
sudo dnf upgrade

In case you need any assistance in installing the package, please feel free to write to us.