BULK> coq-7.4nb1 (lang/coq) is broken because it depends upon ocaml-3.06nb4 (lang/ocaml) which is broken.
Please view the <a href="../../lang/ocaml/.broken.html">build log for ocaml-3.06nb4</a>