- (* File "compiler internals", line 1:
- Error: Unbound module Stdlib *)
- "why3";
-
- (* https://bugzilla.redhat.com/show_bug.cgi?id=1593408 *)
- "ocamlify"; "ocaml-oasis";
+ "ocaml-camlp4"; (* not ported to 4.08 yet *)
+ "ocaml-camlp5"; (* not ported to 4.08 yet *)
+ "ocaml-zarith"; (* build failures, seemingly unrelated *)