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