How to uninstall or remove libcoq-ocaml-j25h3 software package from Debian 7 (Wheezy)

You can uninstall or removes an installed libcoq-ocaml-j25h3 package itself from Debian 7 (Wheezy) through the terminal,

$ sudo apt-get remove libcoq-ocaml-j25h3

Uninstall libcoq-ocaml-j25h3 including dependent package

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

$ sudo apt-get remove --auto-remove libcoq-ocaml-j25h3

Use Purging libcoq-ocaml-j25h3

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

$ sudo apt-get purge libcoq-ocaml-j25h3

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 libcoq-ocaml-j25h3