How to uninstall or remove libghc-agda-dev-2.4.0.2-4b83e software package from Debian 8 (Jessie)

You can uninstall or removes an installed libghc-agda-dev-2.4.0.2-4b83e package itself from Debian 8 (Jessie) through the terminal,

$ sudo apt-get remove libghc-agda-dev-2.4.0.2-4b83e

Uninstall libghc-agda-dev-2.4.0.2-4b83e including dependent package

If you would like to remove libghc-agda-dev-2.4.0.2-4b83e and it's dependent packages which are no longer needed from Ubuntu,

$ sudo apt-get remove --auto-remove libghc-agda-dev-2.4.0.2-4b83e

Use Purging libghc-agda-dev-2.4.0.2-4b83e

If you use with purge options to libghc-agda-dev-2.4.0.2-4b83e package all the configuration and dependent packages will be removed.

$ sudo apt-get purge libghc-agda-dev-2.4.0.2-4b83e

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 libghc-agda-dev-2.4.0.2-4b83e