Installlion's Logo

Installlion.com

How To Install frama-c-base on stretch

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

Install 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 install frama-c-base

Which will install frama-c-base and any other packages on which it depends.

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