Search Portage & Overlays:
Newest
News
Repository news
GLSAs
Browse
USE Flags
Overlays
More...
sci-mathematics
/frama-c
Framework for analysis of source codes written in C
Screenshots
https://frama-c.com
frama-c-22.0
~amd64
doc gtk +ocamlopt
View
Download
Browse
License: LGPL-2
Overlay:
science
ChangeLog
USE Flags
Dependencies
Reverse Deps
Related Bugs