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

/github/OCamlPro/opam-repository/task/15853