How to uninstall or remove libaac-tactics-coq software package from Ubuntu 14.04 LTS (Trusty Tahr)

You can uninstall or removes an installed libaac-tactics-coq package itself from Ubuntu 14.04 LTS (Trusty Tahr) through the terminal,

$ sudo apt-get remove libaac-tactics-coq

Uninstall libaac-tactics-coq including dependent package

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

$ sudo apt-get remove --auto-remove libaac-tactics-coq

Use Purging libaac-tactics-coq

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

$ sudo apt-get purge libaac-tactics-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 libaac-tactics-coq