- "ocaml-camlp4"; (* not ported to 4.08 yet *)
- "ocaml-camlp5"; (* not ported to 4.08 yet *)
- "ocaml-zarith"; (* build failures, seemingly unrelated *)
- "ocaml-yojson"; (* seems to require some proper attention *)
+ "ocaml-camlp4"; (* deprecated + all dependent packages *)
+ "ocaml-yojson"; (* jjames is looking at this *)
+ "coq"; (* jjames is looking at this, see RHBZ#1735619 *)