Installion's Lion Logo

Installion.co.uk

How To Install frama-c On Debian 9

To install frama-c just follow these instructions.

Install frama-c

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

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

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