To uninstall libcloog-ppl-dev just follow these instructions.
sudo apt-get remove libcloog-ppl-dev
This will remove just the libcloog-ppl-dev package itself.
sudo apt-get remove --auto-remove libcloog-ppl-dev
This will remove the libcloog-ppl-dev package and any other dependant packages which are no longer needed.
If you also want to delete your local/config files for libcloog-ppl-dev then this will work.
sudo apt-get purge libcloog-ppl-dev
Or similarly, like this libcloog-ppl-dev
sudo apt-get purge --auto-remove libcloog-ppl-dev
Package | libcloog-ppl-dev |
Version | 0.16.1-5 |
Maintainer | Debian GCC Maintainers <debian-gcc@lists.debian.org> |
Home page | http://www.CLooG.org |
Description | Chunky Loop Generator (development files) |
Distro | debian |
Release | jessie |
Repo | main |
Section | libdevel |