How to uninstall or remove coqide software package from Debian 9 (Stretch)

How to uninstall or remove coqide software package from Debian 9 (Stretch)

You can uninstall or removes an installed coqide package itself from Debian 9 (Stretch) through the terminal,

$ sudo apt-get remove coqide

Uninstall coqide including dependent package

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

$ sudo apt-get remove --auto-remove coqide
Use Purging coqide

If you use with purge options to coqide package all the configuration and dependent packages will be removed.

$ sudo apt-get purge coqide

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 coqide

See Also,

How to install coqide software package from Debian 9 (Stretch)?
Search
10 Types of TOP Command on Linux / Unix with ExamplesHow to Install and Testing MQTT Using MQTT-Malaria on UbuntuHow to Install HAProxy-1.6-stable version on Ubuntu Yakkety-16.10 LTSResolved: 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?What will do while getting : GCP googleapi Error 400: Unparseable iamMember in Terraform
How do you Redirect Tomcat Web Application Behind a AacheHow to Change Default Tomcat Port Number in LinuxHow do You Check Java, Apache-Tomcat and JBoss VersionsHow to Set Environment Variable in LinuxHow to Change User Login Key Pair for EC2 InstanceHow to Install HAProxy-1.5-stable version on Ubuntu Xenial-16.04 LTSFAILED boto3 and botocore required for module when execute AnsibleHow do I make Terraform to read AWS credential file?How to resolve "WARNING: REMOTE HOST IDENTIFICATION HAS CHANGED!" while SSH connection?How to Install PHP mbstring on Alpine Linux?