1. Home
  2. ubuntu trusty 14.04LTS
  3. libgmp-ocaml-dev-z3rp9

Install libgmp-ocaml-dev-z3rp9 on Ubuntu Trusty, 14.04 LTS

ubuntu packages

How to Install - libgmp-ocaml-dev-z3rp9 in Ubuntu trusty (14.04LTS)- Explained

  1. Open the terminal. (Ctrl+Alt+T)

  2. Enter the following command to the terminal

    Terminal
    sudo apt-get update
sudo apt-get install libgmp-ocaml-dev-z3rp9

  3. In order to confirm that the package has been installed correctly, enter the following command.

    Terminal
    sudo apt-get update

  4. libgmp-ocaml-dev-z3rp9 Package is now installed.

In case you need any assistance in installing the package, please feel free to write to us.