Search Portage & Overlays:
Newest
News
Repository news
GLSAs
Browse
USE Flags
Overlays
More...
sci-mathematics
/frama-c-server
Server plugin for frama-c
Screenshots
https://frama-c.com
frama-c-server-25.0
~amd64
+ocamlopt +ocamlopt
View
Download
Browse
License: LGPL-2.1
Overlay:
guru
ChangeLog
USE Flags
Dependencies
Reverse Deps
Related Bugs
Runtime Dependencies
frama-c-server-25.0
~
sci-mathematics/frama-c
-25.0:=[
ocamlopt
?
]
dev-lang/ocaml
:=[
ocamlopt
?
]