Installion.co.uk
How To Uninstall libcoq-ocaml On Debian 7
To uninstall libcoq-ocaml just follow these instructions.
Are you having problems? You can always add libcoq-ocamlagain by following the instructions at this link.
Uninstall just libcoq-ocaml
http://installion.co.uk/debian/wheezy/main/l/libcoq-ocaml/uninstall/index.htmlruntime libraries for CoqDebian 7.0ocaml8.3.pl4+dfsg-2sudo apt-get remove libcoq-ocaml
This will remove just the libcoq-ocaml package itself.
Uninstall libcoq-ocaml and its dependencies
sudo apt-get remove --auto-remove libcoq-ocaml
This will remove the libcoq-ocaml 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 libcoq-ocaml then this will work.
Caution! Purged config/data can not be restored by reinstalling the package.
sudo apt-get purge libcoq-ocaml
Or similarly, like this libcoq-ocaml
sudo apt-get purge --auto-remove libcoq-ocaml
Package Data
| Package | libcoq-ocaml |
| Version | 8.3.pl4+dfsg-2 |
| Maintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| Home page | http://coq.inria.fr/ |
| Description | runtime libraries for Coq |
| Distro | debian |
| Release | wheezy |
| Repo | main |
| Section | ocaml |