How to Install – agtl in Ubuntu trusty (14.04LTS)- Explained 1. Open the terminal. (Ctrl+Alt+T) 2. Enter the following command to the terminal sudo apt-get updatesudo apt-get install agtl 3. In order to confirm that the package has been installed correctly, enter the following command. sudo apt-get update 4. agtl Package is now installed. […]
How to Install – agrep in Ubuntu trusty (14.04LTS)- Explained 1. Open the terminal. (Ctrl+Alt+T) 2. Enter the following command to the terminal sudo apt-get updatesudo apt-get install agrep 3. In order to confirm that the package has been installed correctly, enter the following command. sudo apt-get update 4. agrep Package is now installed. […]
How to Install – aglfn in Ubuntu trusty (14.04LTS)- Explained 1. Open the terminal. (Ctrl+Alt+T) 2. Enter the following command to the terminal sudo apt-get updatesudo apt-get install aglfn 3. In order to confirm that the package has been installed correctly, enter the following command. sudo apt-get update 4. aglfn Package is now installed. […]
How to Install – aghermann in Ubuntu trusty (14.04LTS)- Explained 1. Open the terminal. (Ctrl+Alt+T) 2. Enter the following command to the terminal sudo apt-get updatesudo apt-get install aghermann 3. In order to confirm that the package has been installed correctly, enter the following command. sudo apt-get update 4. aghermann Package is now installed. […]
How to Install – aggregate in Ubuntu trusty (14.04LTS)- Explained 1. Open the terminal. (Ctrl+Alt+T) 2. Enter the following command to the terminal sudo apt-get updatesudo apt-get install aggregate 3. In order to confirm that the package has been installed correctly, enter the following command. sudo apt-get update 4. aggregate Package is now installed. […]
How to Install – agenda.app in Ubuntu trusty (14.04LTS)- Explained 1. Open the terminal. (Ctrl+Alt+T) 2. Enter the following command to the terminal sudo apt-get updatesudo apt-get install agenda.app 3. In order to confirm that the package has been installed correctly, enter the following command. sudo apt-get update 4. agenda.app Package is now installed. […]
How to Install – agedu in Ubuntu trusty (14.04LTS)- Explained 1. Open the terminal. (Ctrl+Alt+T) 2. Enter the following command to the terminal sudo apt-get updatesudo apt-get install agedu 3. In order to confirm that the package has been installed correctly, enter the following command. sudo apt-get update 4. agedu Package is now installed. […]
How to Install – agda-stdlib-doc in Ubuntu trusty (14.04LTS)- Explained 1. Open the terminal. (Ctrl+Alt+T) 2. Enter the following command to the terminal sudo apt-get updatesudo apt-get install agda-stdlib-doc 3. In order to confirm that the package has been installed correctly, enter the following command. sudo apt-get update 4. agda-stdlib-doc Package is now installed. […]
How to Install – agda-stdlib in Ubuntu trusty (14.04LTS)- Explained 1. Open the terminal. (Ctrl+Alt+T) 2. Enter the following command to the terminal sudo apt-get updatesudo apt-get install agda-stdlib 3. In order to confirm that the package has been installed correctly, enter the following command. sudo apt-get update 4. agda-stdlib Package is now installed. […]
How to Install – agda-mode in Ubuntu trusty (14.04LTS)- Explained 1. Open the terminal. (Ctrl+Alt+T) 2. Enter the following command to the terminal sudo apt-get updatesudo apt-get install agda-mode 3. In order to confirm that the package has been installed correctly, enter the following command. sudo apt-get update 4. agda-mode Package is now installed. […]