Installlion's Logo

Installlion.com

How To Uninstall frama-c-base on stretch

To uninstall frama-c-base just follow these instructions.

Uninstall just frama-c-base

Platform dedicated to the analysis of source code written in C (without gui) Debian 9.0 devel 20161101+silicon+dfsg-5+b1

sudo apt-get remove frama-c-base

Which will remove just the frama-c-base package itself.

Uninstall frama-c-base and its dependencies

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

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

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

Or similarly, like this frama-c-base

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

Package Data

Packageframa-c-base
Version20161101+silicon+dfsg-5+b1
MaintainerDebian OCaml Maintainers
DescriptionPlatform dedicated to the analysis of source code written in C (without gui)
Distrodebian
Releasestretch
Repomain
Sectiondevel

Dependencies