To uninstall frama-c-base just follow these instructions.
/debian/stretch/main///install/index.html 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.
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.
If you also want to delete your local/config files for frama-c-base then this will work.
sudo apt-get purge frama-c-base
Or similarly, like this frama-c-base
sudo apt-get purge --auto-remove frama-c-base
|Maintainer||Debian OCaml Maintainers |
|Description||Platform dedicated to the analysis of source code written in C (without gui)|