"ocaml-pa-do"; (* build failure, complex *)
"frama-c"; (* build failure *)
"gappalib-coq"; (* build failure in configure script *)
"ocaml-pa-do"; (* build failure, complex *)
"frama-c"; (* build failure *)
"gappalib-coq"; (* build failure in configure script *)