How to uninstall or remove libgmp-ocaml-z3rp9 software package from Debian 8 (Jessie)

How to uninstall or remove libgmp-ocaml-z3rp9 software package from Debian 8 (Jessie)

You can uninstall or removes an installed libgmp-ocaml-z3rp9 package itself from Debian 8 (Jessie) through the terminal,

$ sudo apt-get remove libgmp-ocaml-z3rp9

Uninstall libgmp-ocaml-z3rp9 including dependent package

If you would like to remove libgmp-ocaml-z3rp9 and it's dependent packages which are no longer needed from Ubuntu,

$ sudo apt-get remove --auto-remove libgmp-ocaml-z3rp9
Use Purging libgmp-ocaml-z3rp9

If you use with purge options to libgmp-ocaml-z3rp9 package all the configuration and dependent packages will be removed.

$ sudo apt-get purge libgmp-ocaml-z3rp9

If you use purge options along with auto remove, will be removed everything regarding the package, It's really useful when you want to reinstall again.

$ sudo apt-get purge --auto-remove libgmp-ocaml-z3rp9

See Also,

How to install libgmp-ocaml-z3rp9 software package from Debian 8 (Jessie)?
Search
How to Install HAProxy-1.5-stable version on Ubuntu Xenial-16.04 LTSHow to Install GitLab Runner Manually on Ubuntu 20.04 Resolved: Got permission denied while trying to connect to the Docker daemon socket in DockerHow to fix: destination path already exists error while trying to clone the git repo in Ansible?How to fix :net/http: request canceled while waiting for connection error in Terraform?How to resolve "WARNING: REMOTE HOST IDENTIFICATION HAS CHANGED!" while SSH connection?What will do while getting : GCP googleapi Error 400: Unparseable iamMember in Terraform
How to solved Unmet dependencies problem in Ubuntu (apt-get)Fix: No package fuse found in Ubuntu, Debian, CentOS, Amazon LinuxHow do We Enable the Slow Query Log in MySQL or MariaDB databases on LinuxHow to configure PHP-FPM to improve performance and consuming more RAM in LinuxHow Do We Use EXIT on Node.js ScriptDocker: Got permission denied while trying to connect to the Docker daemon socket at unix:///var/run/docker.sockIs there a CSS parent selectorHow do I pass artifactory credential to gradle in a jenkins pipeline job?Why COPY --chown is better than RUN chown while copying files in Docker?How to Fix : RecursionError: maximum recursion depth exceeded when iterating over objects in an S3 bucket?