Author: Patrick

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-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 – aj-snapshot.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 aj-snapshot.deb 3. In order to confirm that the package has been installed correctly, enter the following command. sudo apt-get update 4. aj-snapshot.deb Package is now…

How to Install – aisleriot.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 aisleriot.deb 3. In order to confirm that the package has been installed correctly, enter the following command. sudo apt-get update 4. aisleriot.deb Package is now…

How to Install – airstrike-common.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 airstrike-common.deb 3. In order to confirm that the package has been installed correctly, enter the following command. sudo apt-get update 4. airstrike-common.deb Package is now…

How to Install – airstrike.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 airstrike.deb 3. In order to confirm that the package has been installed correctly, enter the following command. sudo apt-get update 4. airstrike.deb Package is now…

How to Install – airspy.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 airspy.deb 3. In order to confirm that the package has been installed correctly, enter the following command. sudo apt-get update 4. airspy.deb Package is now…

How to Install – agenda.app.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 agenda.app.deb 3. In order to confirm that the package has been installed correctly, enter the following command. sudo apt-get update 4. agenda.app.deb Package is now…

How to Install – agedu.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 agedu.deb 3. In order to confirm that the package has been installed correctly, enter the following command. sudo apt-get update 4. agedu.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…