Installion.co.uk
How To Uninstall libcvc3-5 On Debian 8
To uninstall libcvc3-5 just follow these instructions.
Are you having problems? You can always add libcvc3-5again by following the instructions at this link.
Uninstall just libcvc3-5
http://installion.co.uk/debian/jessie/main/l/libcvc3-5/uninstall/index.htmlAutomatic theorem prover library for SMT problemsDebian 8.0libs2.4.1-5sudo apt-get remove libcvc3-5
This will remove just the libcvc3-5 package itself.
Uninstall libcvc3-5 and its dependencies
sudo apt-get remove --auto-remove libcvc3-5
This will remove the libcvc3-5 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 libcvc3-5 then this will work.
Caution! Purged config/data can not be restored by reinstalling the package.
sudo apt-get purge libcvc3-5
Or similarly, like this libcvc3-5
sudo apt-get purge --auto-remove libcvc3-5
Package Data
| Package | libcvc3-5 |
| Version | 2.4.1-5 |
| Maintainer | Morgan Deters <mdeters@morgandeters.com> |
| Home page | http://www.cs.nyu.edu/acsys/cvc3/ |
| Description | Automatic theorem prover library for SMT problems |
| Distro | debian |
| Release | jessie |
| Repo | main |
| Section | libs |