Installion's Lion Logo

Installion.co.uk

How To Uninstall frama-c On Debian 9

To uninstall frama-c just follow these instructions.

Uninstall just frama-c

Platform dedicated to the analysis of source code written in CDebian 9.0devel20161101+silicon+dfsg-5+b1
sudo apt-get remove frama-c

This will remove just the frama-c package itself.

Uninstall frama-c and its dependencies

sudo apt-get remove --auto-remove frama-c

This will remove the frama-c 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 frama-c then this will work.

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

Or similarly, like this frama-c

sudo apt-get purge --auto-remove frama-c

Package Data

Packageframa-c
Version20161101+silicon+dfsg-5+b1
MaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Home pagehttp://frama-c.com/
DescriptionPlatform dedicated to the analysis of source code written in C
Distrodebian
Releasestretch
Repomain
Sectiondevel

Dependencies