Installion's Lion Logo

Installion.co.uk

How To Uninstall depqbf On Debian 9

To uninstall depqbf just follow these instructions.

Uninstall just depqbf

solver for quantified boolean formulaeDebian 9.0interpreters5.01-1
sudo apt-get remove depqbf

This will remove just the depqbf package itself.

Uninstall depqbf and its dependencies

sudo apt-get remove --auto-remove depqbf

This will remove the depqbf package and any other dependant packages which are no longer needed.

Purging your config/data too

If you also want to delete your local/config files for depqbf then this will work.

 Caution! Purged config/data can not be restored by reinstalling the package.
sudo apt-get purge depqbf

Or similarly, like this depqbf

sudo apt-get purge --auto-remove depqbf

Package Data

Packagedepqbf
Version5.01-1
MaintainerDebian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Home pagehttp://lonsing.github.com/depqbf/
Descriptionsolver for quantified boolean formulae
Distrodebian
Releasestretch
Repomain
Sectioninterpreters

Dependencies