FAILED (unsatisfied dependency "camlp5") opam => [build coq.8.4pl2 OCamlPro/opam-repository:master with 4.01.0 on Linux (ppc64)]

/github/OCamlPro/opam-repository/task/15890
FAILED (error in dependency "batteries.1.5.0" (missing ocamlfind dependency "wikidoc")) opam => [build ocaml-sqlexpr.0.5.5 OCamlPro/opam-repository:master with 4.01.0 on OpenBSD (i386)]

/github/OCamlPro/opam-repository/task/15831