- "ocaml-bitstring"; (* needs upstream fix for 4.02.0 *)
-
- (* ocaml-labltk needs to be packaged. Unfortunately because there
- * is no spec file, ocaml-labltk doesn't appear in the list of
- * source packages, and so is filtered out of all the dependency
- * checks as if it were a non-OCaml package. Therefore we currently
- * also have to list all packages that depend on it.
- *)
- "ocaml-labltk"; (* BRed by: *) "ocaml-lablgl"; "ocaml-ocamlnet"; "planets";
-
- "ocaml-camlp5"; (* not updated for 4.02.0 *)
+ "ocaml-mikmatch"; (* build failure on 4.02.0 *)
+ "ocaml-omake"; (* build failure on 4.02.0 with hevea *)
+ "ocaml-p3l"; (* build failure on 4.02.0 -warn-error A *)
+ "ocaml-pa-do"; (* build failure, complex *)
+ "ocaml-lwt"; (* build failure on 4.02.0 *)
+ "ocaml-preludeml"; (* build failure *)
+ "cduce"; (* camlp4-related failure, discussed upstream *)
+ "frama-c"; (* build failure *)