Author: Patrick

How to Install – afterstep-data.deb in Debian Linux Operting System- Explained 1. Open the terminal. (Ctrl+Alt+T) 2. Enter the following command to the terminal sudo apt-get updatesudo dpkg -i install afterstep-data.deb 3. In order to confirm that the package has been installed correctly, enter the following command. sudo apt-get update 4. afterstep-data.deb Package is now…

How to Install – afuse.deb in Debian Linux Operting System- Explained 1. Open the terminal. (Ctrl+Alt+T) 2. Enter the following command to the terminal sudo apt-get updatesudo dpkg -i install afuse.deb 3. In order to confirm that the package has been installed correctly, enter the following command. sudo apt-get update 4. afuse.deb Package is now…

How to Install – agda-stdlib-doc.deb in Debian Linux Operting System- Explained 1. Open the terminal. (Ctrl+Alt+T) 2. Enter the following command to the terminal sudo apt-get updatesudo dpkg -i install agda-stdlib-doc.deb 3. In order to confirm that the package has been installed correctly, enter the following command. sudo apt-get update 4. agda-stdlib-doc.deb Package is now…

How to Install – agda-stdlib.deb in Debian Linux Operting System- Explained 1. Open the terminal. (Ctrl+Alt+T) 2. Enter the following command to the terminal sudo apt-get updatesudo dpkg -i install agda-stdlib.deb 3. In order to confirm that the package has been installed correctly, enter the following command. sudo apt-get update 4. agda-stdlib.deb Package is now…

How to Install – ../elpa-agda2-mode.deb in Debian Linux Operting System- Explained 1. Open the terminal. (Ctrl+Alt+T) 2. Enter the following command to the terminal sudo apt-get updatesudo dpkg -i install ../elpa-agda2-mode.deb 3. In order to confirm that the package has been installed correctly, enter the following command. sudo apt-get update 4. ../elpa-agda2-mode.deb Package is now…

How to Install – agda-mode.deb in Debian Linux Operting System- Explained 1. Open the terminal. (Ctrl+Alt+T) 2. Enter the following command to the terminal sudo apt-get updatesudo dpkg -i install agda-mode.deb 3. In order to confirm that the package has been installed correctly, enter the following command. sudo apt-get update 4. agda-mode.deb Package is now…

How to Install – agda-mode.deb in Debian Linux Operting System- Explained 1. Open the terminal. (Ctrl+Alt+T) 2. Enter the following command to the terminal sudo apt-get updatesudo dpkg -i install agda-mode.deb 3. In order to confirm that the package has been installed correctly, enter the following command. sudo apt-get update 4. agda-mode.deb Package is now…

How to Install – agda-bin.deb in Debian Linux Operting System- Explained 1. Open the terminal. (Ctrl+Alt+T) 2. Enter the following command to the terminal sudo apt-get updatesudo dpkg -i install agda-bin.deb 3. In order to confirm that the package has been installed correctly, enter the following command. sudo apt-get update 4. agda-bin.deb Package is now…

How to Install – agda.deb in Debian Linux Operting System- Explained 1. Open the terminal. (Ctrl+Alt+T) 2. Enter the following command to the terminal sudo apt-get updatesudo dpkg -i install agda.deb 3. In order to confirm that the package has been installed correctly, enter the following command. sudo apt-get update 4. agda.deb Package is now…

How to Install – agave.deb in Debian Linux Operting System- Explained 1. Open the terminal. (Ctrl+Alt+T) 2. Enter the following command to the terminal sudo apt-get updatesudo dpkg -i install agave.deb 3. In order to confirm that the package has been installed correctly, enter the following command. sudo apt-get update 4. agave.deb Package is now…