- (* File "compiler internals", line 1:
- Error: Unbound module Stdlib *)
- "why3";
-
- (* https://bugzilla.redhat.com/show_bug.cgi?id=1593408 *)
- "ocamlify"; "ocaml-oasis";
+ "ocaml-camlp4"; (* deprecated + all dependent packages *)
+ "ocaml-yojson"; (* jjames is looking at this *)
+ "coq"; (* jjames is looking at this, see RHBZ#1735619 *)