How to uninstall or remove acl2-books-source software package from Ubuntu 16.04 LTS (Xenial Xerus)

How to uninstall or remove acl2-books-source software package from Ubuntu 16.04 LTS (Xenial Xerus)

You can uninstall or removes an installed acl2-books-source package itself from Ubuntu 16.04 LTS (Xenial Xerus) through the terminal,

$ sudo apt-get remove acl2-books-source

Uninstall acl2-books-source including dependent package

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

$ sudo apt-get remove --auto-remove acl2-books-source
Use Purging acl2-books-source

If you use with purge options to acl2-books-source package all the configuration and dependent packages will be removed.

$ sudo apt-get purge acl2-books-source

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 acl2-books-source

See Also,

How to install acl2-books-source software package from Ubuntu 16.04 LTS (Xenial Xerus) ?
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?
How do you Redirect Tomcat Web Application Behind a Aache/bin/sh^M bad interpreter in Linux, How to solved it? Simple Steps : Install Apache Web Server on Ubuntu 15.04 Install JSON PHP Extension CentOS/UbuntuHow can I remove a specific item from an array in Java Script?Building and Running Django through Docker ContainerWhat is the most efficient way to deep clone an object in JavaScript?How do I avoid unwanted path in zip file?How to fix error: Postgres permission denied for relation table?How do I Passing Jenkins pipeline parameter to a Docker file?