How to uninstall or remove agda-stdlib software package from Ubuntu 12.04 LTS (Precise Pangolin)

You can uninstall or removes an installed agda-stdlib package itself from Ubuntu 12.04 LTS (Precise Pangolin) through the terminal,

$ sudo apt-get remove agda-stdlib

Uninstall agda-stdlib including dependent package

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

$ sudo apt-get remove --auto-remove agda-stdlib

Use Purging agda-stdlib

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

$ sudo apt-get purge agda-stdlib

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 agda-stdlib