Author: Patrick

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

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

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

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

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

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

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

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

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

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