- "cduce"; "frama-c"; "gappalib-coq"; "graphviz"; "hivex";
- "js-of-ocaml"; "llvm"; "plplot"; "why3"; "xen"; "virt-top" ]
+ "cduce"; "frama-c"; "gappalib-coq"; "graphviz"; "hevea"; "hivex";
+ "js-of-ocaml"; "llvm"; "plplot"; "virt-top"; "why3"; "xen";
+ "flocq" (* no OCaml code, but needs to be rebuilt after Coq *) ]