How to uninstall or remove coq-highschoolgeometry software package from Ubuntu 16.10 (Yakkety Yak)

You can uninstall or removes an installed coq-highschoolgeometry package itself from Ubuntu 16.10 (Yakkety Yak) through the terminal,

$ sudo apt-get remove coq-highschoolgeometry

Uninstall coq-highschoolgeometry including dependent package

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

$ sudo apt-get remove --auto-remove coq-highschoolgeometry

Use Purging coq-highschoolgeometry

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

$ sudo apt-get purge coq-highschoolgeometry

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 coq-highschoolgeometry