To install 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 install frama-c-base
Which will install frama-c-base and any other packages on which it depends.
|Maintainer||Debian OCaml Maintainers |
|Description||Platform dedicated to the analysis of source code written in C (without gui)|