- "ocaml-camlp4"; (* not ported to 4.08 yet *)
- "ocaml-camlp5"; (* not ported to 4.08 yet *)
- "ocaml-zarith"; (* build failures, seemingly unrelated *)
+ "ocaml-camlp4"; (* deprecated + all dependent packages *)
+ "ocaml-yojson"; (* jjames is looking at this *)
+ "ocaml-dose3"; (* requires ocaml-seq, see 1735476 & 1735629 *)
+ "coq"; (* jjames is looking at this, see RHBZ#1735619 *)