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

/github/OCamlPro/opam-repository/task/1715
PASSED opam => [build mpi.1.01 OCamlPro/opam-repository:master with 4.02.0 on Linux (x86_64)]

/github/OCamlPro/opam-repository/task/1703