- (* File "compiler internals", line 1:
- Error: Unbound module Stdlib *)
- "why3";
+ "ocaml-camlp4"; (* deprecated + all dependent packages *)
+ "ocaml-zarith"; (* build failures, seemingly unrelated *)
+ "ocaml-yojson"; (* seems to require some proper attention *)