- "ocaml-pa-do"; (* orphaned *)
- "plplot"; (* FTBFS, unrelated to OCaml *)
+ "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 *)