To uninstall libgstreamer-plugins-bad0.10-dev just follow these instructions.
sudo apt-get remove libgstreamer-plugins-bad0.10-dev
This will remove just the libgstreamer-plugins-bad0.10-dev package itself.
sudo apt-get remove --auto-remove libgstreamer-plugins-bad0.10-dev
This will remove the libgstreamer-plugins-bad0.10-dev package and any other dependant packages which are no longer needed.
If you also want to delete your local/config files for libgstreamer-plugins-bad0.10-dev then this will work.
sudo apt-get purge libgstreamer-plugins-bad0.10-dev
Or similarly, like this libgstreamer-plugins-bad0.10-dev
sudo apt-get purge --auto-remove libgstreamer-plugins-bad0.10-dev
Package | libgstreamer-plugins-bad0.10-dev |
Version | 0.10.23-7.4+deb8u2 |
Maintainer | Maintainers of GStreamer packages <pkg-gstreamer-maintainers@lists.alioth.debian.org> |
Home page | http://gstreamer.freedesktop.org/modules/gst-plugins-bad.html |
Description | GStreamer development files for libraries from the "bad" set |
Distro | debian |
Release | jessie |
Repo | main |
Section | libdevel |