How to install agda in any Manjaro Arch Linux Operating System

How to Install – agda in Manjaro Arch Linux Operting System- Explained

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

2. Enter the following command to the terminal

sudo pacman -S agda

3. agda is now installed.

 

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

sudo pacman -Rs agda

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


Leave a Reply

Your email address will not be published. Required fields are marked *