How to uninstall or remove coq software package from Ubuntu 16.10 (Yakkety Yak)

How to uninstall or remove coq software package from Ubuntu 16.10 (Yakkety Yak)

You can uninstall or removes an installed coq package itself from Ubuntu 16.10 (Yakkety Yak) through the terminal,

$ sudo apt-get remove coq

Uninstall coq including dependent package

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

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

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

$ sudo apt-get purge coq

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 coq

See Also,

How to install coq software package from Ubuntu 16.10 (Yakkety Yak)?
Search
Error: No Acceptable C Compiler Found in $PATH LinuxHow to Install and configure AWStats in CentOS / Fedora / RHELAWStats : Configure add Multiple Domains and Password ProtectYum : Failed Thread Died in Berkeley DB Library in LinuxHow to Install AVCONV on CentOS, RHEL 7 / 6 Could Not Fetch Information From Server Nagios-NSClientDocker: Got permission denied while trying to connect to the Docker daemon socket at unix:///var/run/docker.sockWhat are meta classes in Python?How can I get latest AMI ID for AWS instance?How to Install PHP mbstring on Alpine Linux?
Tomcat Error : The BASEDIR environment variable is not definedGenerate Single or Multiple UUID in LinuxHow to Use DU Command in Linux / Unix with Examples How Do We Check If a Directory is Already Exists in Bash Shell Script? Install Mbstring PHP Extension CentOS/Ubuntu/WindowsError: Failed to download metadata for repo AppStream Cannot prepare internal mirror-list: No URLs in mirrorlistWhy p7zip not Showing Files in Mounted DirectoryHow do I check if a program exists from a Bash script?How to fix error: SSH permissions are too open