Apocrypha

frama-c-nonterm

Nonterm plugin for frama-c

Available in

OverlayNewestEbuildsLast activity
guru gitweb ↗ 25.0 1 46 h details ›

Versions & arches

VersionOverlay amd64 Committed
25.0 guru amd64 testing view · download · history ↗

Use flags of 25.0

  • +ocamlopt Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)

Runtime dependencies of 25.0

show 3 lines