Category: Debian Softwares

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

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

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

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

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

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

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

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

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

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