"ocaml-pa-do"; (* build failure, complex *)
"frama-c"; (* build failure *)
"gappalib-coq"; (* build failure in configure script *)
+ "ocaml-camlimages"; (* build failure, conflicting C types in header files *)
]
let blocked pkg = List.mem pkg blocked