- (* File "compiler internals", line 1:
- Error: Unbound module Stdlib *)
- "why3";
+ "ocaml-camlp4"; (* deprecated + all dependent packages *)
+ "ocaml-yojson"; (* jjames is looking at this *)
+ "coq"; (* jjames is looking at this, see RHBZ#1735619 *)